Art der Veröffentlichung: |
Buch |
Herausgeber: |
M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian, M. Wolf |
Titel: |
Algebraic System Specification and Development: Survey and Annotated Bibliography |
Band: |
3 |
Serie / Reihe: |
Monographs of the Bremen Institute of Safe Systems (BISS) |
Edition: |
2nd edition |
Erscheinungsjahr: |
1997 |
Verleger: |
Shaker Verlag, Postfach 1290, 52013 Aachen |
Status: |
Reviewed |
Letzte Aktualisierung: |
01. 11. 2004 |
|
|