Protocol specification, testing and verification 7 : 7th International conference : May 1987, Zurich, Switzerland.

• 資料種別: 図書
• ISBN: 0444702938
• タイトル: Protocol specification, testing and verification 7 : 7th International conference : May 1987, Zurich, Switzerland.
• 著者標目: International Federation for Information Processing. Working Group 6.1.
• 出版事項: Elsevier Science Publisher B.V
• 出版年月日等: 1987.
• 出版年（W3CDTF）: 1987
• 数量: v.
• 並列タイトル等: protocol specification ; protocol testing ; protocol verification ; IFIP
• NDLC: M17; ND
• 一般注記: Papers.; Index term: protocol specification ; protocol testing ; protocol verification ; IFIP.; BL shelfmark: 6936.563 7 1987.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-87-2295
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003469896; http://id.ndl.go.jp/bib/000003469896
• UKMARC番号: G00958412
• 整理区分コード: 215