宣言的仕様に対する正当なデジタル回路および協調計算システムの自動生成に関する研究

吉川, 浩

2011

Permalink : https://doi.org/10.14943/doctoral.k9962

このアイテムのアクセス数:1,572件（2026-02-09 01:56 集計）

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

アクセス権	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