Treffer: Principles of model checking

Titel:
Principles of model checking / Christel Baier ; Joost-Pieter Katoen
Beteiligt:
Baier, Christel ; Katoen, Joost-Pieter 
Veröffent­licht:
Cambridge [u.a.] : MIT Press, 2008
Umfang:
XVII, 963 S. : Ill., graph. Darst.
Format:
Buch
Sprache:
Englisch
RVK-Notation:
ST 233
Schlagworte:
ISBN:
9780262026499

Zusatz-Informationen

Zusatz-Funktionen