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

• 資料種別: 図書
• タイトル: ディペンダブルシステムワークショップ&シンポジウム2011論文集
• タイトルよみ: ディペンダブル システム ワークショップ&シンポジウム 2011 ロンブンシュウ
• 著者・編者: 産業技術総合研究所 (組込みシステム技術連携研究体) 編
• シリーズタイトル: 算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2
• 著者標目: 産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )典拠
• 出版事項: [尼崎] : 産業技術総合研究所組込みシステム技術連携研究体
• 出版年月日等: 2012.1
• 出版年（W3CDTF）: 2012
• 数量: 176p
• 大きさ: 30cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: ソフトウェア--会議録 ソフトウェア カイギロク ( 00866521 )典拠
• NDC9版: 007.63 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 会期・会場: 2011年12月13日-14日 京都工芸繊維大学松ヶ崎キャンパス60周年記念館2F
• 書誌注記: 文献あり
• 所蔵機関: 国立国会図書館
• 請求記号: M159-J1528
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 023522416; http://id.ndl.go.jp/bib/023522416
• 全国書誌番号: 22059682
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

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