KIT | KIT-Bibliothek | Impressum

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

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



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Jahr 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