Go back
Computer Aided Verification 12th International Conference Cav 2000 Chicago Il Usa July 15 19 2000 Proceedings(2000 Edition)
Authors:
E. Allen Emerson ,A. Prasad Sistla
![Free](https://dsd5zvtm8ll6.cloudfront.net/includes/images/document_product_info/free_book_tags.png)
![computer aided verification 12th international conference cav 2000 chicago il usa july 15 19 2000 proceedings](https://dsd5zvtm8ll6.cloudfront.net/si.question.images/book_images/2024/06/666c0aa966ef0_649666c0aa9630e5.jpg)
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $12.69
Savings: $12.69(100%)