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
- 阿草清滋 [著]
- Author Heading
- 著者 : 阿草, 清滋, 1947- アグサ, キヨシ, 1947- ( 00184975 )Authorities
- Extent
- 冊
- Alternative Title
- 論理システム設計における仕様記述と検証に関する研究 ロンリ システム セッケイ ニ オケル シヨウ キジュツ ト ケンショウ ニ カンスル ケンキュウ
- Degree grantor/type
- 京都大学
- Date Granted
- 昭和57年7月23日
- Date Granted (W3CDTF)
- 1982
- Dissertation Number
- 乙第4754号