ジコゴウセイホウ オ リヨウシタ サイキ プログラム ノ ジョウホウリュウ カイセキホウ ノ テイアン
伊藤信裕
生駒 : 奈良先端科学技術大学院大学, 2008.3
Thesis / Diss.
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
R005990 |
|
|
|
|
|
2 |
|
|
|
Restricted |
|
2008
An Information Flow Analysis for Recursive Programs Based on Self-Composition
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2008年3月
学位記番号: 修第3842号
学位授与年月日: 2008/03/24
学位の種類: 修士(工学)
学生番号: 0651013
Japan
Japanese (jpn)
Japanese (jpn)
伊藤, 信裕 (イトウ, ノブヒロ)
