Computer Aided Verification: 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)


OUR TOP PICK

£129.94

Quantity
More than 10 available
Condition
New
Sold by
Business seller: grey_elk_books_au_and_uk (82732)99.6% positive Feedback
Returns
Buyer pays return postage