High-assurance systems engineering : 2nd Annual workshop : Aug 1997, Washington, DC.

• 資料種別: 図書
• ISBN: 0818679719 (pbk); 0818679735 (microfiche)
• タイトル: High-assurance systems engineering : 2nd Annual workshop : Aug 1997, Washington, DC.
• 著者標目: Institute of Electrical and Electronics Engineers. Computer Society.
• 出版事項: IEEE Computer Society
• 出版年月日等: 1997.
• 出版年（W3CDTF）: 1997
• 数量: v.
• 並列タイトル等: Also known as HASE '97. IEEE cat no 97TB100211; high assurance systems engineering ; IEEE ; HASE
• NDLC: M17; M154
• 一般注記: Selected papers.; Also known as HASE '97. IEEE cat no 97TB100211.; Index term: high assurance systems engineering ; IEEE ; HASE.; BL shelfmark: 4307.2838 2nd 1997.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-99-1504
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003509048; http://id.ndl.go.jp/bib/000003509048
• UKMARC番号: G05574809
• 整理区分コード: 215