Recent trends in data type specification
Subtitle: 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
By: D. Sannella, A. Tarlecki, eds.
Contributors: Sannella, D. 1956-; Tarlecki, Andrzej.
Series: Lecture notes in computer science ;; 332
Publisher: Springer-Verlag; Springer
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 259
Subjects: Abstract data types (Computer science) -- Congresses.
Notes: Includes bibliographies.