著者典拠情報

著者標目形：
Workshop on Specification of Abstract Data Types
属性：
Meeting
場所：
Gullane;Wusterhausen/Dosse, Germany;Dourdan, France;Caldes de Malavella;Margherita, Italy
日付：
1987;1991;1992;1994
注記：
Its (5th : 1987 : Gullane, Scotland). Recent trends in data type specification, 1987: CIP t.p. (5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987)
Its (7th : 1991 : Wusterhausen/Dosse). Recent trends in data type specification, c1991
Its (8th : 1991 : Dourdan, France). Recent trends in data type specification, c1993: t.p. (8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991)
Its (9th : 1992 : Caldes de Malavella, Spain). Recent trends in data type specification, c1994
EDSRC: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)
著者典拠ID：
DA02770370


1.

図書
図書
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.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1130
所蔵情報: 図書館
2.

図書
図書
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 (: Berlin ; : New York)
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 906
所蔵情報: 図書館
3.

図書
図書
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 (: gw ; : us)
Hartmut Ehrig, Fernando Orejas, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 785
所蔵情報: 図書館
4.

図書
図書
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 (: gw ; : us)
M. Bidoit, C. Choppy (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 655
所蔵情報: 図書館
5.

図書
図書
5. Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings (: Berlin ; : New York)
H. Ehrig ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 534
所蔵情報: 図書館
6.

図書
図書
6. Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers (: gw ; : us)
D. Sannella, A. Tarlecki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 332
所蔵情報: 図書館