Go back

Computer Aided Verification 7th International Conference Cav 95 Liege Belgium July 3 5 1995 Proceedings(1995th Edition)

Authors:

Pierre Wolper

Free computer aided verification 7th international conference cav 95 liege belgium july 3 5 1995 proceedings
7 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Expected shipping: July 25, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $4.97 Savings: $4.97(100%)

Book details

ISBN: 3540600450, 978-3540600459

Book publisher: Springer