Recent trends in data type specification
Subtitle: 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, ... papers (Lecture notes in computer science)
Publisher: Springer-Verlag
Published: 1995
Language: eng
Number of pages: 523
ISBN-13: 9780387591322