Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A3870
国立国会図書館書誌ID
000003171168
資料種別
図書
著者
Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)ほか