close
1.

図書
図書
1. Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
出版情報: Berlin : Springer, c2006  xii, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4229
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Techniques for Networked and Distributed Systems - FORTE 2006
Elie Najm, Vaeronique Donzeau-Gouge, Véronique Viguié Donzeau-Gouge, Takeo Kanade, Jean-Franecois Pradat-Peyre, Jean-François Pradat-Peyre, IFIP Working Group 6.1.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼