Malay Ganai
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Malay Ganai Softcover reprint of hardcover 1st ed. 2007 edition

Name: SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems
Price: 21765 JPY
Availability: OutOfStock
Author: Malay Ganai

価格

¥ 21.765

税抜

遠隔倉庫からの取り寄せ

発送予定日年8月11日 - 年8月27日

Malay Ganai の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Hardcover Book

2007 edition

(2007) ¥ 30.224

SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems

Malay Ganai

Softcover reprint of hardcover 1st ed. 2007 edition

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

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2010年11月19日
ISBN13	9781441943415
出版社	Springer-Verlag New York Inc.
ページ数	330
寸法	155 × 235 × 18 mm · 503 g
言語	英語