書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 阿草清滋 [著]
- 著者標目
- 著者 ： 阿草, 清滋, 1947- アグサ, キヨシ, 1947- ( 00184975 )典拠
- 数量
- 冊
- 並列タイトル等
- 論理システム設計における仕様記述と検証に関する研究 ロンリ システム セッケイ ニ オケル シヨウ キジュツ ト ケンショウ ニ カンスル ケンキュウ
- 授与機関名
- 京都大学
- 授与年月日
- 昭和57年7月23日
- 授与年月日（W3CDTF）
- 1982
- 報告番号
- 乙第4754号