Zur Seitenansicht
 

Titelaufnahme

Titel
Principles of model checking / Christel Baier ; Joost-Pieter Katoen
VerfasserBaier, Christel In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Christel Baier ; Katoen, Joost-Pieter In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Joost-Pieter Katoen
ErschienenCambridge, Mass. [u.a.] : MIT Press, 2008
UmfangXVII, 963 S. : Ill., graph. Darst.
SchlagwörterModel Checking In Wikipedia suchen nach Model Checking
ISBN978-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)