Computer Aided Verification Proceedings of the 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 (Paperback)
| Author: E. (EDT)/ Larsen Brinksma | Editor: Ed Brinksma Kim G. Larsen |
$10 off $30 on Home, Health & Beauty, Sporting Goods, Bags, Entertainment, Apparel, Jewelry, Toys and Pet Supplies when you use V.me at checkout. Ends 5/31/2013.
Today
$147.54
Free Budget Shipping
EARN 5x (738) RAKUTEN SUPER POINTSWhat's this?
| Format: | Paperback |
Condition:
Brand New
In Stock:
Usually Ships within 1 business day
1 New
from
$147.54
5x
Share
Product Details:
Publish Date: 2/4/2008
Dimensions:
(in Inches) 9H x 6L x 1.25T
Pages:
639
Age Range:
NA
See more in Software Development & Engineering / General
Related Products
