Software engineering with OBJ : algebraic specification in action /

"Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering."--BOOK JACKET.

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Goguen, Joseph, Malcolm, Grant
Format:	eBook
Language:	English
Published:	Boston : Kluwer Academic, [2000]
Series:	Advances in formal methods ; 2.
Subjects:	Software engineering. Functional programming languages. Object-oriented programming (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Summary:	"Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering."--BOOK JACKET.
Physical Description:	1 online resource (xxvi, 410 pages) : illustrations.
Bibliography:	Includes bibliographical references and index.
ISBN:	9781475765410 (electronic bk.) 147576541X (electronic bk.)