第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集

• Material Type: 図書
• Title: 第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集
• Title Transcription: ダイ6カイ ディペンダブル システム シンポジウム DSS 2009 コウエン ロンブンシュウ
• Author/Editor: 産業技術総合研究所 (システム検証研究センター) 編
• Series Title: 算譜科学研究速報 ; AIST-PS-2010-1
• Author Heading: 産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )Authorities
• Publication, Distribution, etc.: [豊中] : 産業技術総合研究所システム検証研究センター
• Publication Date: 2010.2
• Publication Date (W3CDTF): 2010
• Extent: 203p
• 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): 会期・会場: 2009年12月14日-15日 大阪大学コンベンションセンター
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M159-J922
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010865116; http://id.ndl.go.jp/bib/000010865116
• National Bibliography No. (JPNO): 21762912
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: 招待講演 (1)ディペンダブルなIT社会の実現に向けて / 菊野亨 著一般講演: 形式手法 (1)...