形式的仕様記述の変換によるプロトタイププログラムの生成に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
形式的仕様記述の変換によるプロトタイププログラムの生成に関する研究
- 著者名
-
市川, 至
- 著者別名
-
イチカワ, イタル
- 学位授与大学
-
東京工業大学
- 取得学位
-
工学博士
- 学位授与番号
-
甲第1832号
- 学位授与年月日
-
1987-03-26
注記・抄録
博士論文
目次
- 目次 (8コマ目)
形式的仕様記述の変換によるプロトタイププログラムの生成に関する研究
市川, 至
イチカワ, イタル
東京工業大学
工学博士
甲第1832号
1987-03-26
博士論文