Algebraic specifications in software engineering
Subtitle: an introduction
By: Ivo van Horebeek, Johan Lewi.
Contributors: Lewi, Johan.
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 350
Subjects: Software engineering.; Abstract data types (Computer science)
Notes: Includes bibliographical references (p. [327]-342)