close
1.

図書
図書
1. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 379 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…
目次情報: 続きを見る
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
Implementation of Programming Languages
Systems Exhibition
Author Index
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
2.

図書
図書
2. Programming languages and systems : 7th European Symposium on Programming, ESOP '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
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998  x, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: loading…
3.

図書
図書
3. Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  x, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: loading…
4.

図書
図書
4. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us)
N. Jones (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  ix, 435 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 432
所蔵情報: loading…
5.

図書
図書
5. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼