KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA6220000

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Blumenroehr, Christian



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Jahr 2000
Sprache Deutsch
Identifikator KITopen ID: 622000
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 21.1.2000
URLs Diese Dissertation wird mit Zustimmung des Logos Verlages hier veröffentlicht.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page