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

Ereignis
Veröffentlichung
(wo)
Düsseldorf
(wer)
VDI-Verl.
(wann)
1994
Urheber

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

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 1994

Ähnliche Objekte (12)