Zur Seitenansicht
 

Titelaufnahme

Titel
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte / Stefan Conrad
VerfasserConrad, Stefan In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Stefan Conrad
ErschienenDüsseldorf : VDI-Verl., 1994
Ausgabe
Als Ms. gedr.
UmfangVI, 139 S. : graph. Darst.
HochschulschriftZugl.: Braunschweig, Techn. Univ., Diss.
SerieFortschritt-Berichte VDI : Reihe 10 ; 295
SchlagwörterObjekt <Informatik> In Wikipedia suchen nach Objekt Informatik / Verifikation In Wikipedia suchen nach Verifikation / Formale Sprache In Wikipedia suchen nach Formale Sprache / Spezifikationssprache In Wikipedia suchen nach Spezifikationssprache
ISBN3-18-329510-5
Links
Download Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender [0,25 mb]
Nachweis
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)