閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
yoshikawa_thesis	pdf	1.37 MB	2,213

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
DOI	https://doi.org/10.14943/doctoral.k9962
URI	https://hdl.handle.net/2115/45247
タイトル	宣言的仕様に対する正当なデジタル回路および協調計算システムの自動生成に関する研究
	A study on synthesis of correct digital circuits and cooperative systems with respect to declarative specifications
著者	著者名 吉川, 浩 Yoshikawa, Hiroshi
言語	日本語
発行日	2011-03-24
出版者	Hokkaido University
ページ数	iv, 123 p.
学位授与機関	識別子 10101 機関名 北海道大学 Hokkaido University
学位授与年月日	2011-03-24
学位授与番号	甲第9962号
学位名	博士(情報科学)
資源タイプ	博士論文
出版タイプ	Version of Record

ホームへ戻る