Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lectu

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lectu

  • List Price: $129.00
  • ISBN-10: 3540600450
  • ISBN-13: 9783540600459
  • Edition: 1995th
  • Type: Paperback
  • Publisher: Springer

About The Book

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July... Read more

FINDING THE BEST PRICES

Related Books

Elementary Linear Algebra
  • Year: 2010
  • Edition: 10th
  • Publisher: Wiley
  • Type: Loose Leaf
  • ISBN13: 9780470559918
  • ISBN: 0470559918
Fundamentals of Probability, with Stochastic Processes...
  • Year: 2004
  • Edition: 3rd
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780131453401
  • ISBN: 0131453408
Partial Differential Equations for Scientists and...
  • Year: 1993
  • Edition: Reprint
  • Publisher: Dover Publications
  • Type: Paperback
  • ISBN13: 9780486676203
  • ISBN: 048667620X