Brijesh Dongol - Böcker
Visar alla böcker från författaren Brijesh Dongol.
6 produkter
6 produkter
Del 11758 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2019
709 kr
Skickas inom 10-15 vardagar
Del 12232 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Häftad, Engelska, 2020
709 kr
Skickas inom 10-15 vardagar
Del 12233 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
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
Häftad, Engelska, 2020
709 kr
Skickas inom 10-15 vardagar
1 639 kr
Skickas inom 10-15 vardagar
1 639 kr
Skickas inom 10-15 vardagar