KIT | KIT-Bibliothek | Impressum | Datenschutz

Konstruktion verifizierter Übersetzer mit Programmprüfung

Gaul, Thilo Stephan


Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Hochschulschrift
Publikationsjahr 2004
Sprache Deutsch
Identifikator KITopen-ID: 992004
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 7.2.2003.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Forschungszentrum Informatik, Karlsruhe (FZI)
Prüfungsdaten Diss. v. 7.2.2003
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page