Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, USA, July 15-19, 2000, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2000)


OUR TOP PICK

$29.95

+ $50.00 postage
Quantity
2 available
Condition
Good
Sold by
ausreseller (123242)97.7% positive Feedback
Delivery
Est. 6 Sep - 15 SepFrom West Ryde, NSW
Returns
No returns, but backed by eBay Money Back Guarantee

All listings for this product