KIT | KIT-Bibliothek | Impressum | Datenschutz

Über die Semantikbeschreibung OCL-artiger Sprachen

Baar, Thomas



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 2003
Sprache Deutsch
Identifikator KITopen-ID: 4822003
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Berlin 2003. Fak. f. Informatik, Diss. v. 12.7.2002.
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. 12.7.2002
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page