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 /
|aWorkshop on Specification of Abstract Data Types|n(9th :|d1992 :|cCaldes de Malavella, Spain)
245
10
|aRecent trends in data type specification :|b9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers /|cHartmut Ehrig, Fernando Orejas, (eds.)
260
|aBerlin :|bSpringer-Verlag,|cc1994.
300
|aviii, 350 p. :|bill. ;|c24 cm.
440
0
|aLecture notes in computer science ;|v785
504
|aIncludes bibliographical references.
650
0
|aAbstract data types (Computer science)|xCongresses.
700
10
|aEhrig, Hartmut.
700
10
|aOrejas, F.|q(Fernando)
711
20
|aCOMPASS Workshop|n(4th :|d1992 :|cCaldes de Malavella, Spain)