Monografie
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Extent
-
VI, 139 S.
- Notes
-
Zugl.: Braunschweig, Techn. Univ., Diss.
- ISBN
-
978-3-18-329510-4
- Identifier
-
94154849X
- Series
-
Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikation; Nr. 295
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:53 AM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Monografie