TU Darmstadt / ULB / TUbiblio

Schwerpunktthema: Formale Verifikationsverfahren

Hrsg.: Eveking, Hans (2001)
Schwerpunktthema: Formale Verifikationsverfahren.
Buch, Bibliographie

Typ des Eintrags: Buch
Erschienen: 2001
Herausgeber: Eveking, Hans
Art des Eintrags: Bibliographie
Titel: Schwerpunktthema: Formale Verifikationsverfahren
Sprache: Deutsch
Publikationsjahr: 2001
Ort: München
Verlag: Oldenbourg
Band einer Reihe: 43,1
Kollation: 54 S.
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:28
Letzte Änderung: 05 Mär 2013 08:52
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen