TU Darmstadt / ULB / TUbiblio

Schwerpunktthema: Formale Verifikationsverfahren

Eveking, Hans (ed.) (2001):
Schwerpunktthema: Formale Verifikationsverfahren.
43,1, München, Oldenbourg, [Book]

Item Type: Book
Erschienen: 2001
Editors: Eveking, Hans
Title: Schwerpunktthema: Formale Verifikationsverfahren
Language: German
Volume: 43,1
Place of Publication: München
Publisher: Oldenbourg
Collation: 54 S.
Divisions: 18 Department of Electrical Engineering and Information Technology
Date Deposited: 19 Nov 2008 16:28
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details