Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA

Web Site CiNii 所蔵館 10館

書誌事項

タイトル
"Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA"
責任表示
edited by Scott F. Smith, Carolyn L. Talcott
出版者
  • Kluwer Academic Publishers
出版年月
  • c2000
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

Includes bibliographical references

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ