リダクションの近似に基づくプログラム検証手法の研究
CiNii
Available at 1 libraries
Bibliographic Information
- Title
- "リダクションの近似に基づくプログラム検証手法の研究"
- Statement of Responsibility
- 外山芳人研究代表者
- Publisher
-
- [外山芳人]
- Publication Year
-
- 2006.5
- Book size
- 30cm
- Other Title
-
- リダクション ノ キンジ ニ モトズク プログラム ケンショウ シュホウ ノ ケンキュウ
- 平成14年度~平成17年度科学研究費補助金(基盤研究(C))研究成果報告書 : 課題番号14580357
Search this Book/Journal
Notes
文献あり
- Tweet
Details 詳細情報について
-
- CRID
- 1130000795460194432
-
- NII Book ID
- BB10939729
-
- Text Lang
- en
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- [仙台]
-
- Data Source
-
- CiNii Books