Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding

• 資料種別: 図書
• タイトル: Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding
• シリーズタイトル: NISTIR ; 6777
• 著者標目: Black, Paul E; Ammann, Paul; Ding, Wei, 1967 Sept. 14-; National Institute of Standards and Technology (U.S.)
• 出版年（W3CDTF）: 2002
• 数量: microfiche
• 大きさ: 11 × 15 cm
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 資料種別（注記）: [microform]
• 件名標目: Computer software -- Testing; Computer systems -- Verification
• 一般注記: Shipping list no.: 2002-0256-M; "February 1, 2002."; Physical description for original version: 40 p. : 28 cm
• 書誌注記: Includes bibliographical references (p. 38-40)
• 原資料等に関する注記: 原資料の出版事項: Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [2002]; SUPTDOC番号: C 13.58: 6777; GPO管理番号: 0247-D (MF)
• 所蔵機関: 国立国会図書館
• 請求記号: YCA-C 13.58:6777
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000006640976; http://id.ndl.go.jp/bib/000006640976
• OCLC番号: 49674132; https://www.worldcat.org/oclc/49674132
• 整理区分コード: 281