Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy

著者

    • IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification
    • Latella, Diego

書誌事項

Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy

edited by Tommaso Bolognesi, Diego Latella

（The International Federation for Information Processing, 55）

Kluwer Academic Publishers, c2000

大学図書館所蔵 件 / 全8件

この図書・雑誌をさがす

注記

Includes bibliographical references

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ