KIT | KIT-Bibliothek | Impressum | Datenschutz

Deduktive Fehlersuche in abstrakten Datentypen [online]

Ahrendt, Wolfgang

Open Access Logo


Volltext §
DOI: 10.5445/IR/13592002
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 2002
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA135920020
KITopen-ID: 13592002
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 20.7.2001.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 20.7.2001
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page