SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - 書籍 - Springer-Verlag New York Inc. - 9780387691664 - 2007年5月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Malay Ganai
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition

価格
¥ 29.160
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月25日 - 年9月10日
Malay Ganai の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

330 pages, 118 black & white illustrations, 33 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2007年5月22日
ISBN13 9780387691664
出版社 Springer-Verlag New York Inc.
ページ数 330
寸法 155 × 235 × 20 mm   ·   703 g
言語 英語  

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

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