close
1.

図書
図書
1. Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings
David de Frutos-Escrig, Manuel Núñes (eds.)
出版情報: Berlin : Springer, c2004  x, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3235
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Techniques for Networked and Distributed Systems – FORTE 2004
FORTE 2004, David de Frutos-Escrig, Manuel Núñez, IFIP Working Group 6.1.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼