KIT | KIT-Bibliothek | Impressum

Algebraische Spezifikation als Entwurfsmethode fuer ein Dokumentenverarbeitungssystem

Dolland, Peter



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Jahr 1989
Sprache Deutsch
Identifikator KITopen ID: 68289
Erscheinungsvermerk Karlsruhe 1989. (Bericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 195.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page