Zur Seitenansicht
 

Titelaufnahme

Titel
Model checking / Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
VerfasserClarke, Edmund M. In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Edmund M. Clarke
BeteiligteGrumberg, Orna In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Orna Grumberg ; Kröning, Daniel In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Daniel Kröning ; Peled, Doron In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Doron Peled ; Veith, Helmut In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Helmut Veith
ErschienenCambridge, MA ; London : The MIT Press, 2018
Ausgabe
second edition
Umfangxx, 402 Seiten : Illustrationen, Diagramme
Anmerkung
Includes bibliographical references and index
SerieThe cyber-physical systems series
SchlagwörterModel Checking In Wikipedia suchen nach Model Checking / Programmverifikation In Wikipedia suchen nach Programmverifikation
ISBN978-0-262-03883-6
Links
Download Model checking [0,56 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)