Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings - Programming and Software Engineering - F Wang - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540291893 - 2005年9月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings - Programming and Software Engineering 2005 edition

価格
¥ 19.282
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月27日 - 年11月12日
F Wang の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols.


558 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年9月26日
ISBN13 9783540291893
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 558
寸法 155 × 235 × 29 mm   ·   793 g
言語 フランス語  
編集者 Wang, Farn

F Wangの他の作品を見る

同じ出版社からのその他の記事