Computer Aided Verification : Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 (Paperback)
Author: Brinksma, E. (EDT)
$207.34 + $2.98 shipping
Earn 208 ($2.08) 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
In Stock. Usually Ships in 1 to 2 business days