Zur Seitenansicht

Titelaufnahme

    Titel
    Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte / Stefan Conrad
    VerfasserConrad, Stefan
    ErschienenDüsseldorf : VDI-Verl., 1994
    Ausgabe
    Als Ms. gedr.
    UmfangVI, 139 S. : graph. Darst.
    HochschulschriftZugl.: Braunschweig, Techn. Univ., Diss.
    Serie
    Fortschritt-Berichte VDI : Reihe 10 ; 295
    SchlagwörterObjekt <Informatik> / Verifikation / Formale Sprache / Spezifikationssprache
    ISBN3-18-329510-5
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes