Introduction to Formal Hardware Verification - Thomas Kropf - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540654452 - 1999年10月16日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Thomas Kropf
Introduction to Formal Hardware Verification

価格
¥ 8.709
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月10日 - 年8月20日
Thomas Kropf の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Presenting an overview of techniques for hardware verification, this book covers various approaches, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking. It also introduces the use of higher-order logic theorem proving for verifying circuit correctness.

308 pages, 110 black & white illustrations, 32 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1999年10月16日
ISBN13 9783540654452
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 308
寸法 156 × 234 × 19 mm   ·   517 g
言語 ドイツ語  

Thomas Kropfの他の作品を見る

すべて表示

同じ出版社からのその他の記事

Thomas Kropfのすべてを見る ( 例： Hardcover Book および Paperback Book )