Computer Aided Verification Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 (Paperback)
$169.72 Free Budget Shipping
EARN 170 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