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

Bibliografiset tiedot
Yhteisötekijä: Workshop on Specification of Abstract Data Types Caldes de Malavella, Spain
Muut tekijät: Ehrig, Hartmut, Orejas, F. (Fernando)
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Berlin Springer-Verlag c1994.
Sarja:Lecture notes in computer science 785
Aiheet: