zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte / Stefan Conrad
Verfasser
Conrad, Stefan
Erschienen
Düsseldorf : VDI-Verl.,
1994
Ausgabe
Als Ms. gedr.
Umfang
VI, 139 S. : graph. Darst.
Hochschulschrift
Zugl.: Braunschweig, Techn. Univ., Diss.
Serie
Fortschritt-Berichte VDI : Reihe 10 ; 295
Schlagwörter
Objekt <Informatik>
/
Verifikation
/
Formale Sprache
/
Spezifikationssprache
ISBN
3-18-329510-5
Links
Download
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender [0,25 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes