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

• Material Type: 図書
• ISSN (series): 1341-870X
• Title: ディペンダブルシステムワークショップ : 論文集
• Title Transcription: ディペンダブル システム ワークショップ : ロンブンシュウ
• Volume: 第7回
• Series Title: 日本ソフトウェア科学会研究会資料シリーズ ; no.61
• Author Heading: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )Authorities
• Publication, Distribution, etc.: [東京] : [日本ソフトウェア科学会ディペンダブルシステム研究会]
• Publication Date: [2009]
• Publication Date (W3CDTF): 2009
• Extent: 178p
• Size: 26cm
• Alternative Title: DSW 2009
• 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年7月14日-16日 函館大沼プリンスホテル; 主催: 日本ソフトウェア科学会ディペンダブルシステム研究会
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M159-J626
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010415760; http://id.ndl.go.jp/bib/000010415760
• National Bibliography No. (JPNO): 21636230
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: モデル検査AISにおける送信予約システムのPRISMを用いた解析と検証 / 豊島崇士, 高橋和子 著モデル検査における外部環境モデル構築手法の提案 / 乾道孝, 吉岡信和, 落水浩一郎 著...