Hoppa till sidans huvudinnehåll

Brijesh Dongol - Böcker

Visar alla böcker från författaren Brijesh Dongol.
6 produkter

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

AvBrijesh Dongol,Luigia Petre m. fl.

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

AvBrijesh Dongol,Elena Troubitsyna

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Software Engineering for Robotics

AvAna Cavalcanti,Brijesh Dongol m. fl.

Inbunden, Engelska, 2021

1 639 kr

Skickas inom 10-15 vardagar

Software Engineering for Robotics

AvAna Cavalcanti,Brijesh Dongol m. fl.

Häftad, Engelska, 2022

1 639 kr

Skickas inom 10-15 vardagar