Zur Seitenansicht

Titelaufnahme

    Titel
    Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors
    HerausgeberClarke, Edmund M. ; Henzinger, Thomas A. ; Veith, Helmut ; Bloem, Roderick
    ErschienenCham : Springer, 2018
    Umfangxxiv, 1210 Seiten : Illustrationen
    SchlagwörterModel Checking / Algorithmus
    ISBN978-3-319-10574-1
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes