通信ソフトウェア仕様記述・検証法の研究
この論文をさがす
著者
書誌事項
- タイトル
-
通信ソフトウェア仕様記述・検証法の研究
- 著者名
-
伊藤, 正樹
- 著者別名
-
イトウ, マサキ
- 学位授与大学
-
京都大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第6074号
- 学位授与年月日
-
1986-11-25
注記・抄録
博士論文
通信ソフトウェア仕様記述・検証法の研究
伊藤, 正樹
イトウ, マサキ
京都大学
工学博士
乙第6074号
1986-11-25
博士論文