The KORSO case study for software engineering with formal methods: a medical information system
Berlin: Leiter der Fachbibl. Informatik, [19]94
Monographie, Gedruckte Ressource
- 39 Bl. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
The KORSO case study for software engineering with formal methods: a medical information system
|
---|---|
Verantwortlichkeitsangabe: | F. Cornelius ; H. Hußmann ; M. Löwe |
Autor/in / Beteiligte Person: | Cornelius, Felix ; Hußmann, Heinrich (1959-2022) ; Loewe, Michael |
Verwandtes Werk: | |
Veröffentlichung: | Berlin: Leiter der Fachbibl. Informatik, [19]94 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 39 Bl. : graph. Darst. |
Sonstiges: |
|