Search by Bookstore
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.
- Material Type
- 博士論文
- Author/Editor
- Toshifusa Sekizawa [著]
- Author Heading
- 関澤, 俊弦 セキザワ, トシフサ
- Publication, Distribution, etc.
- Publication Date
- [2009]
- Publication Date (W3CDTF)
- 2009
- Extent
- 1冊
- Alternative Title
- プログラム検証と確率解析に重点をおいたモデル検査に関する研究 プログラム ケンショウ ト カクリツ カイセキ ニ ジュウテン オ オイタ モデル ケンサ ニ カンスル ケンキュウ
- Degree Grantor
- 大阪大学
- Date Granted
- 平成21年3月24日
- Date Granted (W3CDTF)
- 2009
- Dissertation Number
- 甲第13543号
- Degree Type
- 博士 (情報科学)
- Note (Dissertation)
- 博士論文
- Place of Publication (Country Code)
- JP
- Text Language Code
- eng
- NDLC
- Note (General)
- 博士論文
- Holding library
- 国立国会図書館
- Call No.
- UT51-2009-C481
- Data Provider (Database)
- 国立国会図書館 : 国立国会図書館蔵書
- Bibliographic ID (NDL)
- 000010261022
- Bibliographic Record Category (NDL)
- 213