Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers /
Hartmut Ehrig, Fernando Orejas, (eds.)
- Berlin ; New York : Springer-Verlag, c1994.
- viii, 350 p. : ill. ; 24 cm.
- Lecture notes in computer science ; 785 .
Includes bibliographical references.
3540578676 (Berlin : acid-free paper) 0387578676 (New York : acid-free paper)
94008265
Abstract data types (Computer science)--Congresses.