Recent trends in data type specification
Subtitle: 8th Workshopon Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30,1991 : selected papers
By: M. Bidoit, C. Choppy, (eds.).
Contributors: Bidoit, M.; Choppy, C.; COMPASS Workshop, (3rd : 1991 : Dourdan, France)
Series: Lecture notes in computer science -- 655
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York; London
Language: und
Number of pages: 344