Computer Aided Verification 15: 15th International Conference, CAV 2003 : Boulder, CO, USA, July 8-12, 2003 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)


OUR TOP PICK

$267.95

+ $50.00 postage
Quantity
2 available
Condition
Brand new
Sold by
ausreseller (111522)97.6% Positive Feedback
Delivery
Est. 5 May - 16 MayFrom Australia
Returns
No returns, but backed by eBay Money Back Guarantee