Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings

著者
書誌事項

Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings

Farn Wang (ed.)

(Lecture notes in computer science, 3731)

Springer, c2005

この図書・雑誌をさがす
注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ