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

A Practical Guide to Solaris
  • Year: 1999
  • Edition: 1st
  • Publisher: Addison-Wesley Professional
  • Type: Paperback
  • ISBN13: 9780201895483
  • ISBN: 020189548X
Complex Variables and Applications
  • Year: -0001
  • Edition: 8th
  • Publisher: McGraw-Hill Science/Engineering/Math
  • Type: Hardcover
  • ISBN13: 9780073051949
  • ISBN: 0073051942
Fundamentals of Probability, with Stochastic Processes...
  • Year: 2004
  • Edition: 3rd
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780131453401
  • ISBN: 0131453408