Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 / organized by IBM Research ; edited by Harry Rudin and Colin H. West.

• Material Type: 図書
• ISBN: 0444867694 (U.S.)
• Title: Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 / organized by IBM Research ; edited by Harry Rudin and Colin H. West.
• Author Heading: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (3rd : 1983 : Rüschlikon, Switzerland); Rudin, Harry, 1937-; West, Colin H., 1939-; IBM Zürich Research Laboratory.; IFIP Working Group 6.1.
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; New York, N.Y. : North-Holland; Amsterdam : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
• Publication Date: 1983.
• Publication Date (W3CDTF): 1983
• Extent: xii, 531 p. : ill. ; 23 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: Computer network protocols -- Congresses.
• LCC: TK5105.5
• DDC: 001.64/404
• NDLC: M15; M154; ND
• Note (Bibliography): Includes bibliographical references.
• Holding library: 国立国会図書館
• Call No.: M15-A2920
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003112880; http://id.ndl.go.jp/bib/000003112880
• LC Control Number: 83016300 //r87; https://lccn.loc.gov/83016300
• Bibliographic Record Category (NDL): 211