Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification / organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 ; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini.

• Material Type: 図書
• ISBN: 0444876766 (U.S.)
• Title: Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification / organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 ; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini.
• Author Heading: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th : 1984 : Skytop Lodge, Pa.); Yemini, Yechiam.; Strom, Robert.; Yemini, Shaula.; IFIP Working Group 6.1.; Columbia University.
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; New York, N.Y., U.S.A. : North-Holland; Amsterdam : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.; New York : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.; New York, N.Y., U.S.A. : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.
• Publication Date: 1985.
• Publication Date (W3CDTF): 1985
• Extent: xii, 720 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; ND
• Note (Bibliography): Includes bibliographies.
• Holding library: 国立国会図書館
• Call No.: M15-A6587
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003123733; http://id.ndl.go.jp/bib/000003123733
• LC Control Number: 84024754; https://lccn.loc.gov/84024754
• Bibliographic Record Category (NDL): 211