Hokkaido University Collection of Scholarly and Academic Papers >
Theses >
博士 (情報科学) >
宣言的仕様に対する正当なデジタル回路および協調計算システムの自動生成に関する研究
Title: | 宣言的仕様に対する正当なデジタル回路および協調計算システムの自動生成に関する研究 |
Other Titles: | A study on synthesis of correct digital circuits and cooperative systems with respect to declarative specifications |
Authors: | 吉川, 浩1 Browse this author |
Authors(alt): | Yoshikawa, Hiroshi1 |
Issue Date: | 24-Mar-2011 |
Publisher: | Hokkaido University |
Conffering University: | 北海道大学 |
Degree Report Number: | 甲第9962号 |
Degree Level: | 博士 |
Degree Discipline: | 情報科学 |
Type: | theses (doctoral) |
URI: | http://hdl.handle.net/2115/45247 |
Appears in Collections: | 学位論文 (Theses) > 博士 (情報科学)
|
Submitter: 吉川 浩
|