Research in the development and certification of safety-related software [microform] : summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ... / principal investigators: Janet Flynt and Charlotte Scheper

• 資料種別: 図書
• タイトル: Research in the development and certification of safety-related software [microform] : summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ... / principal investigators: Janet Flynt and Charlotte Scheper
• シリーズタイトル: [NASA contractor report] ; 206177
• タイトル標目: NASA contractor report ; NASA CR-206177
• 著者標目: Flynt, Janet; Scheper, Charlotte; United States. National Aeronautics and Space Administration
• 出版年（W3CDTF）: 1997
• 数量: microfiche
• 大きさ: 11 × 15 cm
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 資料種別（注記）: [microform]
• 件名標目: Safety; Software development tools; Computer programs; Numerical control; Warning systems; Education; Implantation; Insulin; Mathematical logic; Collision avoidance; Certification
• 一般注記: Shipping list no.: 98-0442-M; Physical description for original version: 1 v
• 原資料等に関する注記: 原資料の出版事項: [Washington, DC ; Springfield, Va. : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1997]; SUPTDOC番号: NAS 1.26: 206177; GPO管理番号: 0830-H-14 (MF)
• 所蔵機関: 国立国会図書館
• 請求記号: YCA-NAS 1.26:206177
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000006612597; http://id.ndl.go.jp/bib/000006612597
• OCLC番号: 39081350; https://www.worldcat.org/oclc/39081350
• 整理区分コード: 281