Brijesh Dongol – författare
Visar alla böcker från författaren .
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
Del 12546 - Lecture Notes in Computer Science
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
Inbunden, Engelska, 2021
1 679 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2022
1 679 kr
Skickas inom 10-15 vardagar