ESPRESO - Ein System zur Erstellung der Spezifikation von Prozessrechner-Software
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 1980 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 270015405 Reportnummer: KFK-PDV 186 |
| Erscheinungsvermerk | In: Hommel, G. [Hrsg.] Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage. Teil 1. KfK-PDV 186 (August 80) /18 |