TU Darmstadt / ULB / TUbiblio

Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen

Hinrichsen, Holger (2000)
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 2000
Autor(en): Hinrichsen, Holger
Art des Eintrags: Bibliographie
Titel: Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen
Sprache: Deutsch
Publikationsjahr: 2000
Ort: Darmstadt
Verlag: Technische Univ. Darmstadt
Kollation: XIV,152 S.
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:24
Letzte Änderung: 26 Aug 2018 21:22
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