ディペンダブルシステムワークショップ : 論文集. 第6回

• Material Type: 図書
• Title: ディペンダブルシステムワークショップ : 論文集
• Title Transcription: ディペンダブル システム ワークショップ : ロンブンシュウ
• Volume: 第6回
• Author/Editor: 産業技術総合研究所 (システム検証研究センター) 編
• Series Title: 算譜科学研究速報 ; AIST-PS-2008-16
• Author Heading: 産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )Authorities
• Publication, Distribution, etc.: [豊中] : 産業技術総合研究所システム検証研究センター
• Publication Date: 2008.12
• Publication Date (W3CDTF): 2008
• Extent: 138p
• Size: 30cm
• Alternative Title: DSW 2008
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: ソフトウェア--論文集 ソフトウェア ロンブンシュウ ( 00910375 )Authorities
• NDC 9th ed.: 007.63 : Information science
• NDLC: M159
• Target Audience: 一般
• Note (General): 会期・会場: 2008年7月2日-4日 函館大沼プリンスホテル
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M159-J554
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010192364; http://id.ndl.go.jp/bib/000010192364
• National Bibliography No. (JPNO): 21606945
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: 招待講演組込みシステムにおける形式的手法の実用化に向けて / 佐野範佳 著モデル検査...