zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Principles of model checking / Christel Baier ; Joost-Pieter Katoen
Verfasser
Baier, Christel
;
Katoen, Joost-Pieter
Erschienen
Cambridge, Mass. [u.a.] : MIT Press,
2008
Umfang
XVII, 963 S. : Ill., graph. Darst.
Schlagwörter
Model Checking
ISBN
978-0-262-02649-9
Links
Download
Principles of model checking [0,79 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes