KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal methods and object-orientation

Casais, Eduardo; Lewerentz, Claus; Lindner, Thomas; Weber, Franz


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Publikationsjahr 1993
Sprache Englisch
Identifikator KITopen-ID: 180493
Erscheinungsvermerk Karlsruhe 1993. (FZI report. 1993,6.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page