HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Theses >
博士 (情報科学) >


Files in This Item:
yoshikawa_thesis.pdf1.4 MBPDFView/Open
Please use this identifier to cite or link to this item:

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
Conffering University: 北海道大学
Degree Report Number: 甲第9962号
Degree Level: 博士
Degree Discipline: 情報科学
Type: theses (doctoral)
Appears in Collections:学位論文 (Theses) > 博士 (情報科学)

Submitter: 吉川 浩

Export metadata:

OAI-PMH ( junii2 , jpcoar_1.0 )

MathJax is now OFF:


 - Hokkaido University