KIT | KIT-Bibliothek | Impressum | Datenschutz

Hypertext - a case study of formal object- oriented software development

Rueping, Andreas



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