Algebraic Foundations of Systems Specification /

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

Main Author:	Astesiano, Egidio
Corporate Author:	SpringerLink (Online service)
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:	State of the art reports.
Subjects:	Computer science. Software engineering. Logic design. Systeemontwerp. Algebraïsche logica. Electronic books.
Online Access:	Connect to the full text of this electronic book