Computer Aided Verification 15: 15th International Conference, CAV 2003 : Boulder, CO, USA, July 8-12, 2003 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)

Brand new: lowest price

AU $267.95

+ AU $12.95 postage
  • See details for delivery est.
  • Brand new condition
Sold byausreseller (132992)97.6% positive Feedback