1.

図書
図書
1. Algebraic foundations of systems specification
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: IFIP state-of-the-art reports
所蔵情報: 図書館
2.

図書
図書
2. Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Egidio Astesiano, ed
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1382
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館
4.

図書
図書
4. CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings (: gw ; : us)
edited by E. Astesiano and C. Böhm
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 112
所蔵情報: 図書館