- used books online -

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

2. SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) Buy it!

Save Show this book only

Ganai, Malay; Gupta, Aarti

author size:

USD

21.98

price size:

BOOKWEST /Abebooks

dealer size:

ISBN10: 0387691669, ISBN13: 9780387691664, [publisher: Springer] Hardcover US SELLER SHIPS FAST FROM USA.
[Phoenix, AZ, U.S.A.] [Publication Year: 2007]

description size:

3. SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) Buy it!

Save Show this book only

Ganai, Malay; Gupta, Aarti

author size:

USD

26.24

price size:

Ammareal /ZVAB

dealer size:

ISBN10: 0387691669, ISBN13: 9780387691664, [publisher: Springer] Hardcover Ancien livre de bibliothèque. Edition 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations.
[Morangis, France] [Publication Year: 2007]

description size:

4. SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) Buy it!

Save Show this book only

Ganai, Malay; Gupta, Aarti

author size:

USD

29.00

price size:

Ammareal /AbebooksFR

dealer size:

description size:

5. Sat-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) Buy it!

Save Show this book only

Ganai, Malay, Gupta, Aarti

author size:

USD

31.45

price size:

HPB-Red via Alibris /Alibris

dealer size:

Springer 2007 2007 ed. hardcover Good Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

description size:

6. SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) Buy it!

Save Show this book only

Ganai, Malay,Gupta, Aarti

author size:

USD

31.45

price size:

HPB-Red /Abebooks

dealer size:

ISBN10: 0387691669, ISBN13: 9780387691664, [publisher: Springer] Hardcover Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
[Dallas, TX, U.S.A.] [Publication Year: 2007]

description size:

7. Sat-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) Buy it!

Save Show this book only

Ganai, Malay|Gupta, Aarti

author size:

USD

34.86

price size:

Goodwill of Silicon Valley via Alibris /Alibris

dealer size:

Springer 2007 2007 ed. Hardcover Good

description size: