Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1991)


OUR TOP PICK

AU $184.07

Quantity
More than 10 available
Condition
Brand new
Sold by
grey_elk_books_au_and_uk (84286)99.7% positive Feedback
Returns
30 days money back
Buyer pays return postage