KIT | KIT-Bibliothek | Impressum

Modulare Spezifikation und Verifikation objektbasierter Programme

Burandt-van Schoor, Axel



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Hochschulschrift
Jahr 2000
Sprache Deutsch
Identifikator KITopen ID: 4562000
Erscheinungsvermerk Aachen 2000. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 18.11.1999.
Abschlussart 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