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

$233.17

+ $10.00 postage
Quantity
2 available
Condition
Brand new
Sold by
roxy*books (286564)98.7% positive Feedback
Delivery
Est. 2 Aug - 8 AugFrom Priority Airmail from England, United Kingdom
Returns
7 days money back
Buyer pays return postage