Ships from/sold by Buy.com
advertisement

Computer Aided Verification Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 (Paperback)

Earn Super Points: Write a Review
Sorry, this selection is currently unavailable.
Computer Aided Verification Brinksma, E. (EDT)/ Larsen, Kim G. (EDT) 1 of 1
$160.79  + Free Shipping
EARN 161 RAKUTEN SUPER POINTS™ 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
FORMAT: Paperback
CONDITION:  Brand New
IN STOCK: Usually Ships within 24 hours
45 day return policy
Share
 
Description
 

Learn more about Computer Aided Verification:

Format: Paperback
ISBN-10: 3540439978
ISBN-13: 9783540439974
Sku: 206884632
Publish Date: 2/4/2008
Dimensions:  (in Inches) 9H x 6L x 1.25T
Pages:  639
Age Range:  NA
 
Advertisement Bottom