代数的手法に基づくソフトウェアの検証の基礎的研究

著者

• 酒井, 正彦 サカイ, マサヒコ

書誌事項

代数的手法に基づくソフトウェアの検証の基礎的研究

酒井正彦 [ほか著]

[出版者不明], 1998.3

タイトル別名

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

タイトル読み

ダイスウテキ シュホウ ニ モトズク ソフトウェア ノ ケンショウ ノ キソテキ ケンキュウ

注記

課題番号:07680350

研究分担者: 山本晋一郎, 外山芳人

詳細情報

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