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
- Kohei Suenaga [著]
- Author Heading
- 末永, 幸平 スエナガ, コウヘイ
- Publication, Distribution, etc.
- Publication Date
- [2008]
- Publication Date (W3CDTF)
- 2008
- Extent
- 1冊
- Alternative Title
- 並行プログラムの形式的検証のための型システム ヘイコウ プログラム ノ ケイシキテキ ケンショウ ノ タメ ノ カタ システム
- Degree grantor/type
- 東京大学