Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - 書籍 - Springer-Verlag New York Inc. - 9780387244112 - 2005年12月21日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation 2006 edition

価格
¥ 19.339
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月26日 - 年11月11日
Valeria Bertacco の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

180 pages, 40 black & white illustrations, 13 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2005年12月21日
ISBN13 9780387244112
出版社 Springer-Verlag New York Inc.
ページ数 180
寸法 155 × 235 × 12 mm   ·   458 g
言語 英語  

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

Valeria Bertaccoのすべてを見る