Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Bibliographic Details
Corporate Authors: Workshop on Specification of Abstract Data Types Dourdan, France, COMPASS Workshop
Other Authors: Bidoit, M. (Michel) 1957-, Choppy, C. (Christine)
Format: Book
Language:English
Published: Berlin, New York Springer-Verlag c1993.
Series:Lecture notes in computer science 655
Subjects: