Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.] (eds.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A7753
国立国会図書館書誌ID
000003199856
資料種別
図書
著者
Workshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen/Dosse, Germany)ほか