close
1.

図書

図書
[general chairman, Martin Freeman]
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  x, 205 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
edited by M. Nielsen and E.M. Schmidt
出版情報: Berlin ; New York : Springer-Verlag, 1982  vii, 613 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 140
所蔵情報: loading…
3.

図書

図書
IFIP Working Conference on Command Languages, Berchtesgaden, West Germany, 10-14 September 1979 ; organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing ; edited by David Beech
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  viii, 424 p. ; 23 cm
所蔵情報: loading…
4.

図書

図書
edited by J.W. de Bakker and J. van Leeuwen
出版情報: Berlin : Springer-Verlag, 1980  viii, 671 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 85
所蔵情報: loading…
5.

図書

図書
edited by Jeffrey M. Tobias
出版情報: Berlin ; New York : Springer-Verlag, 1980  255 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: loading…
6.

図書

図書
edited by Ulrich Rembold, Klaus Hörmann
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 625 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 29
所蔵情報: loading…
7.

図書

図書
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1984  ii, 340 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  xi, 405 p. ; 25 cm
所蔵情報: loading…
9.

図書

図書
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
10.

図書

図書
edited by J.W. de Bakker, A.J. Nijman and P.C. Treleaven
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 258-259
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼