Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings: 5th: International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1993)


OUR TOP PICK

£113.20

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