Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Lecture Notes in Computer Science, Band 13047)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Lecture Notes in Computer Science, Band 13047)
Medimops DE
106.98 EUR
Preis aktualisiert am: 16-09-2026 07:59:55
Siehe Produktangebot
Gesponsert
Formal Methods
Hugendubel
117.49 EUR
Preis aktualisiert am: 16-09-2026 01:29:56
Siehe Produktangebot
Gesponsert
Formal Methods, Fachbücher von Naijun Zhan, Corina Pasareanu, Marieke Huisman
Galaxus.de
117.69 EUR
Preis aktualisiert am: 17-09-2026 13:47:18
Siehe Produktangebot

Allgemein

Marke
Marieke Huisman

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 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
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
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
Menü