An analytical equivalence theory of programs with applications プログラムの解析的同値理論及びその応用
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
An analytical equivalence theory of programs with applications
- タイトル別名
-
プログラムの解析的同値理論及びその応用
- 著者名
-
水谷, 哲也
- 著者別名
-
ミズタニ, テツヤ
- 学位授与大学
-
筑波大学
- 取得学位
-
工学博士
- 学位授与番号
-
博甲第550号
- 学位授与年月日
-
1988-03-25
注記・抄録
博士論文
目次
- 目次 (5コマ目)
