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. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  viii, 303 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Rewriting
Algebraic Specifications
Parallelism and Concurrency
Invited Lectures
Author Index
Complexity
Rewriting
Algebraic Specifications
3.

図書
図書
3. ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (: gw ; : us)
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼