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 (128896)97.6% positive Feedback
Delivery
Est. 27 Oct - 8 NovFrom West Ryde, NSW
Returns
No returns, but backed by eBay Money Back Guarantee