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
- Ryosuke Sato [著]
- Author Heading
- 佐藤, 亮介 サトウ, リョウスケ
- Publication, Distribution, etc.
- Publication Date
- [2013]
- Publication Date (W3CDTF)
- 2013
- Extent
- 1冊
- Alternative Title
- 高階関数型プログラムのソフトウェアモデル検査 コウカイ カンスウガタ プログラム ノ ソフトウェア モデル ケンサ
- Degree grantor/type
- 東北大学