【2026年1月20日更新】CiNii BooksのCiNii Researchへの統合について

Workshop on Specification of Abstract Data Types

ID:DA02770370

同姓同名の著者を検索

検索結果6件中 1-6 を表示

1

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)

Springer c1996 Lecture notes in computer science 1130

所蔵館50館
2

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

Springer-Verlag c1995 Lecture notes in computer science 906

: Berlin , : New York

所蔵館55館
3

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.)

Springer-Verlag c1994 Lecture notes in computer science 785

: gw , : us

所蔵館51館
4

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.)

Springer-Verlag c1993 Lecture notes in computer science 655

: gw , : us

所蔵館54館
5

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.)

Springer-Verlag c1991 Lecture notes in computer science 534

: gw , : us

所蔵館51館
6

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.)

Springer-Verlag c1988 Lecture notes in computer science 332

: gw , : us

所蔵館55館

この著者を外部サイトでさがす

関連著者

ページトップへ