Publication type: |
Book |
Editor: |
M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian, M. Wolf |
Title: |
Algebraic System Specification and Development: Survey and Annotated Bibliography |
Volume: |
3 |
Series: |
Monographs of the Bremen Institute of Safe Systems (BISS) |
Edition: |
2nd edition |
Year published: |
1997 |
Publisher: |
Shaker Verlag, Postfach 1290, 52013 Aachen |
Status: |
Reviewed |
Last updated: |
01. 11. 2004 |
|
|