KIT | KIT-Bibliothek | Impressum | Datenschutz

Formale Methoden der Softwareentwicklung. FZI-Ausarb. e. Seminars im WS 89/90

Uhl, Juergen [Hrsg.]; Sekerinski, Emil [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 Proceedingsband
Publikationsjahr 1991
Sprache Deutsch
Identifikator KITopen-ID: 21191
Erscheinungsvermerk Karlsruhe 1991.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page