TU Darmstadt / ULB / TUbiblio

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

Hinrichsen, Holger :
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Technische Univ. Darmstadt , Darmstadt
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 2000
Autor(en): Hinrichsen, Holger
Titel: Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen
Sprache: Deutsch
Ort: Darmstadt
Verlag: Technische Univ. Darmstadt
Kollation: XIV,152 S.
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:24
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen