Erhältlich:
Nicht auf Lager
Buch (Hardcover): Fachbuch
Modeling and Verification Using UML Statecharts
A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Verlag:
Elsevier Unsere-Artikel-Nr.: P34877154
EAN: 9780750679497
Erhältlich:
Nicht auf Lager
Zustellung: Fr, 30.10.2026
Versand: Kostenlos
-17.0 %
CHF 109.–
CHF 90.50
Spezifikationen
Sprache
- Englisch
Autor
- Drusinsky Doron
Erscheinungsjahr
- 2006
Format
- Buch (Hardcover)