Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 13065)
Medimops DE
57.94 EUR
Preis aktualisiert am: 07-08-2026 17:11:31
Siehe Produktangebot
Gesponsert
Formal Methods in Outer Space
SpringerLink DE
65.00 EUR
Preis aktualisiert am: 07-08-2026 09:29:46
Siehe Produktangebot

Allgemein

Marke
Ezio Bartocci

Eigenschaften

Ähnliche Produkte

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234)
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234)
Produkt anzeigen
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science, Band 15403)
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science, Band 15403)
Produkt anzeigen
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Notes in Computer Science, Band 12226)
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Notes in Computer Science, Band 12226)
Produkt anzeigen
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Produkt anzeigen
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Produkt anzeigen
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Produkt anzeigen
Menü