Algebraic Foundations of Systems Specification / edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.

This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current topics and recent advances, and address such subjects as: the role of formal specification, algebraic pr...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Astesiano, Egidio
Other Authors:	Kreowski, H.-J. (Hans-Jörg), Krieg-Brückner, B. (Bernd)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Edition:	1.
Series:	IFIP state-of-the-art reports.
Subjects:	Computer science. Software engineering. Logic design.