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

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

Specifications

Publisher Textstream
Mfg Part# 9783540439974
SKU 206884632
Format Paperback
ISBN10 3540439978
Release Date 2/4/2008
Physical
Dimensions (in Inches) 9H x 6L x 1.25T
loading
$164.48 + free shipping
Earn 165 ($1.65) 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
Format: Paperback
Condition: Brand New
In Stock. Usually Ships within 24 hours
Please select an option to buy
Add to Cart

Sold By:  Buy.com
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back Sitewide with Promo Code REWARDME at Checkout - Ends 8/31/15 *See page for details
ADVERTISEMENT
ADVERTISEMENT