Cover von Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte opens in new tab

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

Author: Search for this author Conrad, Stefan
Statement of Responsibility: Stefan Conrad
Year: 1994
Publisher: Düsseldorf, VDI-Verlag
Series: Fortschritt-Berichte VDI Reihe 10; 295
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. CONRAD STEFAN Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Zugl.: Braunschweig, Univ., Diss., 1994

Details

Author: Search for this author Conrad, Stefan
Statement of Responsibility: Stefan Conrad
Year: 1994
Publisher: Düsseldorf, VDI-Verlag
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-18-329510-5
Description: VI, 139 S.
Series: Fortschritt-Berichte VDI Reihe 10; 295
Search for this character
Media group: DISSERTATION