KIT | KIT-Bibliothek | Impressum | Datenschutz

Modulare Spezifikation und Verifikation objektbasierter Programme

Burandt-van Schoor, Axel



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