close
1.

図書
図書
1. Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings
Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  xiii, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3670
所蔵情報: loading…
2.

図書
図書
2. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Martin Steffen, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  x, 321 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3535
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼