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

Ein Kalkül für die Formale Schaltungssynthese

Eisenbiegler, Dirk



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Jahr 1999
Sprache Deutsch
Identifikator ISBN: 3-89722-197-7
KITopen ID: 9899
Verlag Logos, Berlin
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten 24.11.1998
Referent/Betreuer Prof. D. Schmid
URLs Diese Dissertation wird mit Zustimmung des Logos Verlages hier veröffentlicht.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page