Go back
Computer Aided Verification 7th International Conference Cav 95 Liege Belgium July 3 5 1995 Proceedings(1995th Edition)
Authors:
Pierre Wolper
![Free](https://dsd5zvtm8ll6.cloudfront.net/includes/images/document_product_info/free_book_tags.png)
![computer aided verification 7th international conference cav 95 liege belgium july 3 5 1995 proceedings](https://dsd5zvtm8ll6.cloudfront.net/si.question.images/book_images/2024/06/666c10f0208e6_256666c10f01d864.jpg)
Cover Type:Hardcover
Condition:Used
In Stock
Include with your book
Expected shipping: July 25, 2024Popular items with books
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%)