close
1.

図書
図書
1. Specification of computer programs
Władysław M. Turski, Thomas S.E. Maibaum
出版情報: Woking, England ; Reading, Mass. : Addison-Wesley, c1987  x, 278 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
2.

図書
図書
2. Colloquium on Trees in Algebra and Programming (CAAP '91) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 455 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1
所蔵情報: loading…
3.

図書
図書
3. Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 482 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼