Art der Veröffentlichung: |
Technischer Bericht |
Autor: |
B. Krieg-Brückner, D. Plump (eds.) |
Titel: |
COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264). Final Report. |
Ausgabe: |
Informatik Bericht Nr. 7/91 |
Erscheinungsjahr: |
1991 |
Institution: |
Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen |
Status: |
Reviewed |
Letzte Aktualisierung: |
27. 12. 2002 |
|
|