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