Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2009)


OUR TOP PICK

£139.68

Free Click & Collect
Quantity
More than 10 available
Condition
New
Sold by
Business seller: grey_elk_books_au_and_uk (84936)99.7% positive Feedback
Returns
Buyer pays return postage