Guidelines for formal verification systems

• 資料種別: 図書
• タイトル: Guidelines for formal verification systems
• シリーズタイトル: NCSC-TG ; 014, version-1
• タイトル標目: NCSC-TG ; 014
• 著者標目: National Computer Security Center (U.S.)
• 出版年（W3CDTF）: 1989
• 数量: microfiche
• 大きさ: 11 × 15 cm
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 資料種別（注記）: [microform]
• 件名標目: Computer programs -- Verification; Electronic data processing departments -- Security measures
• 一般注記: Cover title; Shipping list no.: 89-660-P; "1 April 1989."; Physical description for original version: iv, 35 p. ; 28 cm
• 書誌注記: Includes bibliographical references (p. 35)
• 原資料等に関する注記: 原資料の出版事項: [Fort George G. Meade, MD] ; [Washington, D.C. : National Computer Security Center : For sale by the Supt. of Docs., U.S. G.P.O., 1989]; SUPTDOC番号: D 1.79/4: 014/ver.1; GPO管理番号: 306-A-19
• 所蔵機関: 国立国会図書館
• 請求記号: YCA-D 1.79/4:014/ver.1
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000006553861; http://id.ndl.go.jp/bib/000006553861
• GPO番号: 90001952
• 整理区分コード: 281