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 (4) 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: 26-09-2026 09:40:16
Siehe Produktangebot
Gesponsert
Formal Methods in Outer Space, Fachbücher von Ezio Bartocci, Yliès Falcone, Martin Leucker
Galaxus.de
58.84 EUR
Preis aktualisiert am: 26-09-2026 05:15:56
Siehe Produktangebot
Gesponsert
Formal Methods in Outer Space
SpringerLink DE
58.84 EUR
Preis aktualisiert am: 26-09-2026 04:43:35
Siehe Produktangebot
Gesponsert
Formal Methods in Outer Space
Hugendubel
58.99 EUR
Preis aktualisiert am: 25-09-2026 17:20:47
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)
Aus130.31 EUR 4
Produkt anzeigen
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Aus55.98 EUR 4
Produkt anzeigen
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Aus42.79 EUR 4
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)
Aus61.84 EUR 4
Produkt anzeigen
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Aus74.89 EUR 3
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)
Aus74.34 EUR 3
Produkt anzeigen
Menü