図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H14580357
Bibliographic ID of National Diet Library
000008391758
Material type
図書
Author
外山芳人, 東北大学 [著]
Publisher
[外山芳人]
Publication date
2002-2005
Material Format
Paper
Capacity, size, etc.
106p
NDC
-
View All

Notes on use

Note (General):

文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
リダクション ノ キンジ ニ モトズク プログラム ケンショウ シュホウ ノ ケンキュウ
Author/Editor
外山芳人, 東北大学 [著]
Author Heading
外山, 芳人 トヤマ, ヨシヒト
東北大学 トウホク ダイガク
Publication, Distribution, etc.
Publication Date
2002-2005
2006.5
Publication Date (W3CDTF)
2002
2005
Extent
106p
Additional Title
研究種目 基盤研究(C)