zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
Suchergebnis
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = Conrad, Stefan und Sammlung = ULB Düsseldorf
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Conrad, Stefan
Als Ms. gedr., Düsseldorf : VDI-Verl., 1994