|
|
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.) by
- Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain)
- Ehrig, Hartmut
- Orejas, F. (Fernando)
- COMPASS Workshop (4th : 1992 : Caldes de Malavella, Spain)
Series: Lecture notes in computer science ; 785
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: University Library (1)Call number: QA76.9 A23 W67 1992.
|
|
|
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy, eds. by
- Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France)
- Bidoit, M. (Michel), 1957-
- Choppy, C. (Christine)
- COMPASS Workshop (3rd : 1991 : Dourdan, France)
Series: Lecture notes in computer science ; 655
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1993
Availability: Items available for loan: College of Science and Mathematics (1)Call number: QA76.9 A23 W67 1991.
|