Critical Systems: Formal Methods and Automated Verification

Entdecke ein praxisnahes Handbuch, das die theoretischen Grundlagen formaler Methoden mit konkreten Beispielen aus der Industrie verknüpft und zeigt, ...
Formal Methods and Formal Methods
Wo zu kaufen (3) Eigenschaften
Gesponsert
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 18-06-2026 08:14:02
Siehe Produktangebot
Gesponsert
Critical Systems: Formal Methods and Automated Verification
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-06-2026 14:50:21
Siehe Produktangebot
Gesponsert
Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci
Galaxus.de
53.49 EUR
Preis aktualisiert am: 18-06-2026 03:32:59
Siehe Produktangebot

Allgemein

Marke
RIDDLEDWITHSTYLE
ISBN
RIDDLEDWITHSTYLE 9783319671123
MPN
RIDDLEDWITHSTYLE MUSCLE GYM VEST TOPS

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
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
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
Produkt anzeigen
Menü