Bibliothek Systemsoftware
Benutzer Paßwort

SSW-Bibliothek / Publikations-Detailinformation
Principles of Model Checking  
ISBN: 978-0-262-02649-9
Ausgabe: 0
Ausgabejahr: 0
Autor(en): Christel Baier ,  Joost-Pieter Katoen
Verlag: MIT Press
Publikationstyp: Buch
Publikationskategorie: 0.2 0.2 Tagungsbände
SSW-Nummer: 1862
Bibliothek: SSW-Bibliothek
Standort: Prähofer
Stichwörter:
Kurzbeschreibung: