Algebraic specification techniques in object oriented programming environments /

Bibliographic Details

Main Author:	Breu, R. (Ruth), 1964-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 562.
Subjects:	Object-oriented programming (Computer science)