Auf Lager:
1
Buch (Hardcover): Fachbuch
Handbook of Model Checking
Verlag:
Springer Verlag
Artikel-Nr.:
R647EZW
Auf Lager:
1
Zustellung: Di, 30.04.2024
Versand: Kostenlos
-22.5 %
CHF 168.00
CHF 130.17
Beschreibung
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical comput...
Spezifikationen
Inhalt |
Sprache:
| ||
---|---|---|---|
Publikation |
Auflage:
|
Erscheinungsdatum:
|
Erscheinungsland:
|
Produktform |
Format:
|
Seiten:
|
Abmessung:
|