リダクションの近似に基づくプログラム検証手法の研究

資料に関する注記

一般注記：: application/pdf本学所蔵の学術情報資料・特許等平成14年度-平成17年度科学研究費補助金(基盤研究(C))研究成果報告書,課題番号:14580357...

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

東北大学機関リポジトリ　TOUR
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
東北大学機関リポジトリ　TOURのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: リダクションの近似に基づくプログラム検証手法の研究
著者・編者: 外山, 芳人
著者標目: 外山, 芳人
本文の言語コード: jpn
対象利用者: 一般
一般注記: application/pdf
本学所蔵の学術情報資料・特許等
平成14年度-平成17年度科学研究費補助金(基盤研究(C))研究成果報告書,課題番号:14580357
275741 bytes
記録形式（IMT）: application/pdf
一次資料へのリンクURL: kaken-14580357.pdf
https://tohoku.repo.nii.ac.jp/record/47866/files/kaken-14580357.pdf
オンライン閲覧公開範囲: 限定公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 東北大学 : 東北大学機関リポジトリ　TOUR