Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
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
- 鰺坂, 恒夫 アジサカ, ツネオ
- Alternative Title
- 関数的仕様記述モデルによるプログラム自動生成に関する研究 カンスウテキ シヨウ キジュツ モデル ニ ヨル プログラム ジドウ セイセイ ニ カンスル ケンキュウ
- Degree grantor/type
- 京都大学
- Date Granted
- 昭和63年3月23日
- Date Granted (W3CDTF)
- 1988
- Dissertation Number
- 甲第4009号
- Degree Type
- 工学博士