KIT | KIT-Bibliothek | Impressum | Datenschutz

Case study "production cell". A comparative study in formal software development

Lewerentz, Claus [Hrsg.]; Lindner, Thomas [Hrsg.]


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 1994
Sprache Englisch
Identifikator KITopen-ID: 189594
Erscheinungsvermerk Karlsruhe 1994. (FZI-Publication. 1994,1.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page