Skip to content
Home/ Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja

No customer reviews yet ISBN 9783540755951 Springer

About the author

Product details

BrandSpringer
Pub dateOct 9, 2007
ISBN-103540755950
ISBN-139783540755951
LanguageEnglish
Dimensions9.25 × 1.32 × 6.1 in
Weight2 lb
Last updated 2026-08-30 22:46
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic Design
See all
Logic Circuit Design
Shaw, Alan W
$338.71
Signal and Power Integrity in Digital Systems: TTL, CMOS, and BICMOS
Buchanan, James E
$61.24
Photodiode Amplifiers: Op Amp Solutions
Graeme, Jerald G
$101.94
Introduction to Logic Design [With CDROM]
Marcovitz, Alan B
$105.50
Introduction to Logic Design (Revised)
Marcovitz, Alan B
$298.12
System-On-Chip Test Architectures: Nanometer Design for Testability Volume .
Wang, Laung-Terng
$83.70