close
1.

図書
図書
1. Software process technology : Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings (: us ; : gw)
Brian C. Warboys, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 274 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 772
所蔵情報: loading…
2.

図書
図書
2. FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings (: gw ; : us)
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xi, 723 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 873
所蔵情報: loading…
3.

図書
図書
3. Third Symposium on Assessment of Quality Software Development Tools : proceedings, June 7-9, 1994, Washington, D.C. (paper ; microfiche)
sponsored by IEEE Computer Society Technical Committee on Software Engineering, George Washignton University ; [edited by Ez Nahouraii]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  ix, 245 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼