Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)

Brand new: lowest price

AU $129.99

Free postage
  • Get it by Wednesday, 3 Jan
  • Brand new condition
  • • Returns accepted