Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

Author(s)

• IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
• Logrippo, Luigi
• Probert, Robert L.
• Ural, Hasan
• IFIP Working Group 6.1

Bibliographic Information

Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

edited by Luigi Logrippo, Robert L. Probert, Hasan Ural

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990

Note

Includes bibliographies and index

Details

• NCID: BA11300531
• ISBN:
  • 0444888101
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; Tokyo,New York
• Pages/Volumes: xi, 415 p.
• Size: 23 cm
• Classification:
  • LCC : TK5105.5
  • DC19 : 004.6/2
• Subject Headings:
  • LCSH : Computer network protocols -- Congresses