close
1.

図書
図書
1. Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
edited by M. Broy, C.B. Jones
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Elsevier Science Pub. Co., distributors for the U.S. and Canada, c1990  viii, 581 p. ; 24 cm
所蔵情報: loading…
2.

図書
図書
2. Case studies in systematic software development
edited by Cliff B. Jones and Roger C. F. Shaw
出版情報: New York ; Tokyo : Prentice-Hall, 1990  xvii, 387 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
3.

図書
図書
3. Systematic software development using VDM. 2nd ed
Cliff B. Jones
出版情報: New York : Prentice Hall, 1990  xiv, 333 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼