A study on generating efficient rewrite theory specification from behavioral specification 振舞仕様から効率の良い書換え理論仕様の生成に関する研究
この論文をさがす
著者
書誌事項
- タイトル
-
A study on generating efficient rewrite theory specification from behavioral specification
- タイトル別名
-
振舞仕様から効率の良い書換え理論仕様の生成に関する研究
- 著者名
-
張, 民
- 著者別名
-
チャン, ミン
- 学位授与大学
-
北陸先端科学技術大学院大学
- 取得学位
-
博士 (情報科学)
- 学位授与番号
-
甲第680号
- 学位授与年月日
-
2011-09-22
注記・抄録
博士論文