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

Author(s)

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

Bibliographic Information

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

Note

Includes bibliographical references

Details

• NCID: BA49350215
• ISBN:
  • 0792379683
• LCCN: 00061057
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston, MA
• Pages/Volumes: xiv, 408 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.D5
  • DC21 : 004/.36
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing Congresses
  • LCSH : Formal methods (Computer science) Congresses
• Parent Bibliography ID:
  • BA39641980