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

Av Brijesh Dongol, Luigia Petre m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

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

Av Emil Sekerinski, Nelma Moreira m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

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

Av Emil Sekerinski, Nelma Moreira m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av Brijesh Dongol, Elena Troubitsyna

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Software Engineering for Robotics

Av Ana Cavalcanti, Brijesh Dongol m. fl

Inbunden, Engelska, 2021

1 699 kr

Skickas inom 10-15 vardagar

Software Engineering for Robotics

Av Ana Cavalcanti, Brijesh Dongol m. fl

Häftad, Engelska, 2022

1 699 kr

Skickas inom 10-15 vardagar