Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Criti
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P36983206
EAN: 9783319459424
Erhältlich:
Nicht auf Lager
Zustellung: Di, 01.09.2026
Versand: Kostenlos
-16.7 %
CHF 69.–
CHF 57.50
Spezifikationen
Sprache
- Englisch
Autor
- Maurice H. ter Beek
- Stefania Gnesi
- Alexander Knapp
Zielgruppe
- Research
Erscheinungsjahr
- 2016
Format
- Buch (Softcover)
Anzahl Seiten
- 247