Brijesh Dongol – författare
Visar alla böcker från författaren Brijesh Dongol. Handla med fri frakt och snabb leverans.
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
729 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
729 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
729 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
729 kr
Skickas inom 10-15 vardagar
1 689 kr
Skickas inom 10-15 vardagar
1 689 kr
Skickas inom 10-15 vardagar