Hardware design verification : simulation and formal method-based approaches

Web Site CiNii 所蔵館 1館

書誌事項

タイトル
"Hardware design verification : simulation and formal method-based approaches"
責任表示
William K. Lam
出版者
  • Prentice Hall Professional Technical Reference
出版年月
  • c2005
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 539-559) and index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ