リダクションの近似に基づくプログラム検証手法の研究
著者
書誌事項
リダクションの近似に基づくプログラム検証手法の研究
(科学研究費補助金(基盤研究C)研究成果報告書, 平成14年度-平成17年度)
[外山芳人], 2006.5
- タイトル別名
-
平成14年度~平成17年度科学研究費補助金(基盤研究(C))研究成果報告書 : 課題番号14580357
- タイトル読み
-
リダクション ノ キンジ ニ モトズク プログラム ケンショウ シュホウ ノ ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献あり