
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
Related Books

- Year: 1999
- Edition: 1st
- Publisher: Addison-Wesley Professional
- Type: Paperback
- ISBN13: 9780201895483
- ISBN: 020189548X

- Year: -0001
- Edition: 8th
- Publisher: McGraw-Hill Science/Engineering/Math
- Type: Hardcover
- ISBN13: 9780073051949
- ISBN: 0073051942

- Year: 2004
- Edition: 3rd
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780131453401
- ISBN: 0131453408