Book3004: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Joost-Pieter Katoen }} {{Book |Buch oder Collection=Buch |Ti…“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 14: | Zeile 14: | ||
|Bild=PrinciplesMC.jpeg | |Bild=PrinciplesMC.jpeg | ||
|ISBN=ISBN-13: 978-0262026499 | |ISBN=ISBN-13: 978-0262026499 | ||
|Forschungsgruppe= | |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | ||
}} | }} | ||
Aktuelle Version vom 6. März 2025, 12:03 Uhr
Principles of Model Checking
Christel BaierChristel Baier, Joost-Pieter KatoenJoost-Pieter Katoen
- ISBN: ISBN-13: 978-0262026499
Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, 2008
Principles of Model Checking
The MIT Press, 2008
- Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@book{BK2008,
author = {Christel Baier and Joost-Pieter Katoen},
title = {Principles of Model Checking},
publisher = {The {MIT} Press},
year = {2008}
}
