Zur Seitenansicht
 

Titelaufnahme

Titel
Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors
HerausgeberClarke, Edmund M. In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Edmund M. Clarke ; Henzinger, Thomas A. In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Thomas A. Henzinger ; Veith, Helmut In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Helmut Veith ; Bloem, Roderick In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Roderick Bloem
ErschienenCham : Springer, 2018
Umfangxxiv, 1210 Seiten : Illustrationen
SchlagwörterModel Checking In Wikipedia suchen nach Model Checking / Algorithmus In Wikipedia suchen nach Algorithmus
ISBN978-3-319-10574-1
Links
Download Handbook of model checking [1,66 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)