Using Penelope to assess the correctness of NASA Ada software [microform] : a demonstration of formal methods as a counterpart to testing / Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird

• 資料種別: 図書
• タイトル: Using Penelope to assess the correctness of NASA Ada software [microform] : a demonstration of formal methods as a counterpart to testing / Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird
• シリーズタイトル: NASA contractor report ; 4509
• タイトル標目: NASA contractor report ; NASA CR-4509
• 著者標目: Eichenlaub, Carl T; Harper, C. Douglas; Hird, Geoffrey; United States. National Aeronautics and Space Administration. Scientific and Technical Information Program
• 出版年（W3CDTF）: 1993
• 数量: microfiche
• 大きさ: 11 × 15 cm
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 資料種別（注記）: [microform]
• 件名標目: Ada (Computer program language)
• 一般注記: Distributed to depository libraries in microfiche; Shipping list no.: 93-1215-M; Physical description for original version: 1 v
• 原資料等に関する注記: 原資料の出版事項: [Washington, D.C.] ; [Springfield, Va. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program : National Technical Information Service, distributor], 1993; SUPTDOC番号: NAS 1.26: 4509; GPO管理番号: 0830-H-14 (MF)
• 所蔵機関: 国立国会図書館
• 請求記号: YCA-NAS 1.26:4509
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000006595116; http://id.ndl.go.jp/bib/000006595116
• OCLC番号: 31692007; https://www.worldcat.org/oclc/31692007
• 整理区分コード: 281