TU Darmstadt / ULB / TUbiblio

Schwerpunktthema: Formale Verifikationsverfahren

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

Typ des Eintrags: Buch
Erschienen: 2001
Herausgeber: Eveking, Hans
Titel: Schwerpunktthema: Formale Verifikationsverfahren
Sprache: Deutsch
Band: 43,1
Ort: München
Verlag: Oldenbourg
Kollation: 54 S.
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:28
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen