Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2014)

Brand new: lowest price

AU $83.40

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