Computer Aided Verification Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 (Paperback)
$147.54 Free Budget Shipping
EARN 148 RAKUTEN SUPER POINTS™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.Learn More
Condition: Brand New
This volume constitutes the refereed proceedings of the 4th IFIP ...
Tied to no particular set of computer aided logic design ...