Hochschulschrift
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183295104
3183295105
- Maße
-
21 cm
- Umfang
-
VI, 139 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Braunschweig, Techn. Univ., Diss.
- Erschienen in
-
Fortschritt-Berichte VDI / 10 / Verein Deutscher Ingenieure ; Nr. 295, Reihe 10
- Schlagwort
-
Objekt
Verifikation
Formale Sprache
Spezifikationssprache
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.06.2023, 22:16 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Conrad, Stefan
- VDI-Verl.
Entstanden
- 1994