Recent trends in data type specification
Subtitle: 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers
By: Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, (eds).
Contributors: Astesiano, E. 1939-; Reggio, Gianna, 1957-; Tarlecki, Andrzej.; COMPASS Workshop (5th : 1994 : Santa Margherita, Italy)
Series: Lecture notes in computer science;; 906
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 523
Subjects: Abstract data types (Computer science) -- Congresses
Notes: Includes bibliographical references (p. 506-523).