Critical Systems: Formal Methods and Automated Verification

Ein Leitfaden, der die Erkenntnisse des 21. Internationalen Workshops zu formalen Methoden für kritische Systeme in kompakte Kapitel fasst und dabei ...
Critical Systems Formal Methods and Formal Methods
Wo zu kaufen (3) Eigenschaften
Gesponsert
Critical Systems: Formal Methods and Automated Verification, Fachbücher von Maurice H. ter Beek, Alexander Knapp, Stefania Gnesi
Galaxus.de
53.49 EUR
Preis aktualisiert am: 06-09-2026 08:03:59
Siehe Produktangebot
Gesponsert
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 07-09-2026 05:47:55
Siehe Produktangebot
Gesponsert
Critical Systems: Formal Methods and Automated Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:55
Siehe Produktangebot

Allgemein

Marke
ter Beek, Maurice H.
ISBN
ter Beek, Maurice H. 3319459422

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science, Band 12863)
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science, Band 12863)
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Menü