オープンソフトウェアの形式モデルと検証技法に関する基礎的研究

著者

• 稲垣, 康善 イナガキ, ヤスヨシ

書誌事項

オープンソフトウェアの形式モデルと検証技法に関する基礎的研究

稲垣康善 [ほか著]

[出版者不明], 1998.3

タイトル別名

平成8年度~9年度科学研究費補助金(基盤研究(B)(2))研究成果報告書

タイトル読み

オープン ソフトウェア ノ ケイシキ モデル ト ケンショウ ギホウ ニ カンスル キソテキ ケンキュウ

注記

課題番号:08458066

研究分担者: 坂部俊樹, 酒井正彦, 結縁祥治ほか

詳細情報

• NII書誌ID(NCID): BA37497806
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [出版地不明]
• ページ数/冊数: 96p
• 大きさ: 30cm