KIT | KIT-Bibliothek | Impressum | Datenschutz

Pruefmittel fuer die rechnergestuetzte Software-Entwicklung

Ludewig, J.; Streng, W.


Volltext §
DOI: 10.5445/IR/270011826
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 1978
Sprache Deutsch
Identifikator KITopen-ID: 270011826
Reportnummer: KFK-2507
Erscheinungsvermerk KfK-2507 (Januar 78)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page