Algebraic Specifications in Software Engineering : an Introduction /

There is now general agreement that formal specifications are needed to obtain quality software in large projects. Algebraic specifications form a major category of formal specifications. Many projects using algebraic specifications have now been carried out, and their more widespread use has been p...

Full description

Bibliographic Details

Main Author:	Horebeek, Ivo
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lewi, Johan
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
Subjects:	Computer science. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book