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:
Description
Item Description:Thesis (Ph. D.)--
Physical Description:xi, 228 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387549722 (alk. paper)
3540549722 (alk. paper : W. Germany)