Algebraic specifications in software engineering : an introduction /

Bibliographic Details

Main Author:	Horebeek, Ivo van, 1959-
Other Authors:	Lewi, Johan
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Subjects:	Software engineering. Abstract data types (Computer science)