形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究

＜図書＞
形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
ケイシキシュホウニモトズクコウヒンシツクミコミセイギョシステムカイハツホウノケイトウカニカンスルキソテキケンキュウ

責任表示	研究代表者荒木啓二郎
シリーズ	科学研究費補助金(基盤研究(C)(1))研究成果報告書 ; 平成12年度-平成13年度
データ種別	図書
出版情報	[福岡] : [九州大学] , 2002.3
本文言語	日本語,英語
大きさ	59p ; 30cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図自動書庫	科研報告/九州大学/12680354	2002		003122002008507		予約・取寄		出庫可能	予約・取寄		出庫可能

別書名	異なりアクセスタイトル:平成12年度〜平成13年度科学研究費補助金(基盤研究(C)(1))研究成果報告書
一般注記	課題番号: 12680354 研究分担者: 張漢明, 持尾弘司
著者標目	荒木, 啓二郎 <アラキ, ケイジロウ>
書誌ID	1000763560
NCID	BA58243996
登録日	2009.09.15
更新日	2011.10.07