代数的仕様記述の検証に関する研究 ダイスウ テキ シヨウ キジュツ ノ ケンショウ ニ カンスル ケンキュウ
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
代数的仕様記述の検証に関する研究
- Other Title
-
ダイスウ テキ シヨウ キジュツ ノ ケンショウ ニ カンスル ケンキュウ
- Author
-
東野, 輝夫
- Author(Another name)
-
ヒガシノ, テルオ
- University
-
大阪大学
- Types of degree
-
工学博士
- Grant ID
-
甲第3123号
- Degree year
-
1984-03-24
Note and Description
博士論文