ディペンダブルシステムワークショップ&シンポジウム2011論文集

• Material Type: 図書
• Title: ディペンダブルシステムワークショップ&シンポジウム2011論文集
• Title Transcription: ディペンダブル システム ワークショップ&シンポジウム 2011 ロンブンシュウ
• Author/Editor: 産業技術総合研究所 (組込みシステム技術連携研究体) 編
• Series Title: 算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2
• Author Heading: 産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )Authorities
• Publication, Distribution, etc.: [尼崎] : 産業技術総合研究所組込みシステム技術連携研究体
• Publication Date: 2012.1
• Publication Date (W3CDTF): 2012
• Extent: 176p
• Size: 30cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: ソフトウェア--会議録 ソフトウェア カイギロク ( 00866521 )Authorities
• NDC 9th ed.: 007.63 : Information science
• NDLC: M159
• Target Audience: 一般
• Note (General): 会期・会場: 2011年12月13日-14日 京都工芸繊維大学松ヶ崎キャンパス60周年記念館2F
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M159-J1528
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 023522416; http://id.ndl.go.jp/bib/023522416
• National Bibliography No. (JPNO): 22059682
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: 研究発表論文軽量形式手法ツールで学ぶ形式手法の基本 / 中島震 著状況に依存しない人的誤りの埋込み手法 / 永藤直行, 二木厚吉, 緒方和博 著...