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)

Brand new: lowest price

AU $164.99

Free postage
  • Get it by Thursday, 11 Jan
  • Brand new condition
  • • Returns accepted