Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014: Proceedings by Springer International Publishing AG (Paperback, 2014)

Brand new: lowest price

AU $161.98

+ AU $7.50 postage
  • Get it by Fri, 8 Jun - Tue, 19 Jun from Priority Airmail from England, United Kingdom
  • Brand new condition
  • • Returns accepted - 14 days money back
Pages: 900. Subject: Computers / Programming / General. ISBN: 3319088661.
Sold byroxy*books (318674)98.5% positive Feedback