|
|
|
FB 3
|
|
|
AG BKB >
Publikationen >
Suche >
|
Deutsch
English
|
|
Suche nach Veröffentlichungen - Detailansicht
|
|
Art der Veröffentlichung: |
Artikel in Sammlung |
Autor: |
B. Krieg-Brückner, W. Menzel |
Herausgeber: |
B. Krieg-Brückner |
Titel: |
System Architecture Framework for KORSO |
Buch / Sammlungs-Titel: |
Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) |
Serie / Reihe: |
Informatik Bericht. ISSN 0722-8996 |
Ausgabe: |
1/94 |
Erscheinungsjahr: |
1994 |
Verleger: |
Universität Bremen |
Status: |
Reviewed |
Letzte Aktualisierung: |
28. 12. 2002 |
|
|
Zurück zum Suchergebnis |
|
|
|
Autor: Automatisch generierte Seite
|
|
|
AG BKB |
Zuletzt geändert am: 9. Mai 2023 |
|
|
|