書誌事項

Logic synthesis and verification

editors, Soha Hassoun, Tsutomu Sasao ; consulting editor, Robert K. Brayton

(The Kluwer international series in engineering and computer science, SECS 654)

Kluwer Academic Publishers, c2002

大学図書館所蔵 件 / 22

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ