Algebraic foundations of systems specification /

Bibliographic Details

Other Authors:	Astesiano, E. (Egidio), 1939-, Kreowski, H.-J. (Hans-Jörg), Krieg-Brückner, B. (Bernd)
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	State of the art reports.
Subjects:	Software engineering. Formal methods (Computer science) System design.