Erhältlich:
Nicht auf Lager
Buch (Hardcover): Fachbuch
Model Checking
Verlag:
The MIT Press Unsere-Artikel-Nr.: P36037628
EAN: 9780262038836
Erhältlich:
Nicht auf Lager
Zustellung: Mi, 18.11.2026
Versand: Kostenlos
-12.5 %
CHF 120.–
CHF 105.–
Spezifikationen
Sprache
- Englisch
Autor
- Edmund M. Clarke Jr.
- Grumberg Orna
- Kroening Daniel
- Doron Peled
- Veith Helmut
Erscheinungsjahr
- 2018
Format
- Buch (Hardcover)
Anzahl Seiten
- 424