Zur Seitenansicht

Titelaufnahme

    Titel
    Principles of model checking / Christel Baier ; Joost-Pieter Katoen
    VerfasserBaier, Christel ; Katoen, Joost-Pieter
    ErschienenCambridge, Mass. [u.a.] : MIT Press, 2008
    UmfangXVII, 963 S. : Ill., graph. Darst.
    SchlagwörterModel Checking
    ISBN978-0-262-02649-9
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes