Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014: Proceedings by Springer International Publishing AG (Paperback, 2014)


OUR TOP PICK

$159.80

+ $10.00 postage
Quantity
2 available
Condition
Brand new
Sold by
roxy*books (283907)98.7% Positive Feedback
Delivery
Est. 11 Jul - 17 JulFrom United Kingdom
Returns
14 days money back
Buyer pays return postage