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.

• 資料種別: 図書
• ISBN: 0444876766 (U.S.)
• タイトル: 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.
• 著者標目: 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.
• 出版事項: 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.
• 出版年月日等: 1985.
• 出版年（W3CDTF）: 1985
• 数量: xii, 720 p. : ill. ; 23 cm.
• 出版地（国名コード）: NL
• 本文の言語コード: eng
• 件名標目: Computer network protocols -- Congresses.
• LCC: TK5105.5
• DDC: 001.64/404
• NDLC: M15; ND
• 書誌注記: Includes bibliographies.
• 所蔵機関: 国立国会図書館
• 請求記号: M15-A6587
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003123733; http://id.ndl.go.jp/bib/000003123733
• LC control number: 84024754; https://lccn.loc.gov/84024754
• 整理区分コード: 211