Details
- Autor(en) / Beteiligte
- Titel
- Handbook of model checking
- Ort / Verlag
- Cham : Springer
- Erscheinungsjahr
- [2018]
- Link zu anderen Inhalten
- Verknüpfte Titel
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783319105741OCLC-Nummer: 1041609555, 1041609555Titel-ID: 990019755950106463
- Format
- xxiv, 1210 Seiten; Illustrationen
- Systemstelle
- TVA
- Schlagworte
- Model Checking, Algorithmus