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

書目詳細資料
Corporate Authors: Workshop on Specification of Abstract Data Types Caldes de Malavella, Spain, COMPASS Workshop
其他作者: Ehrig, Hartmut, Orejas, F. (Fernando)
格式: 圖書
語言:English
出版: Berlin, New York Springer-Verlag c1994.
叢編:Lecture notes in computer science 785
主題: