Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994: Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1994)

Brand new: lowest price

AU $125.00

Free postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted