Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : Proceedings: 11th: International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1999)


OUR TOP PICK

$283.95

+ $12.95 postage
Quantity
5 available
Condition
Brand new
Sold by
ausreseller (108291)97.5% Positive Feedback
Delivery
Est. 24 Mar - 30 MarFrom West Ryde, NSW
Returns
No returns, but backed by eBay Money Back Guarantee