検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Dill, David L.
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Trace theory for automatic hierarchical verification of speed-independent circuits : electronic bk ( ACM distinguished dissertations )その他David L. DillMIT Press1989オンライン
選択行を
▲ページトップへ