Go back

Computer Aided Verification 15th International Conference Cav 2003 Boulder Co Usa July 8 12 2003 Proceedings(2003rd Edition)

Authors:

Warren A. Hunt Jr. ,Fabio Somenzi

Free computer aided verification 15th international conference cav 2003 boulder co usa july 8 12 2003 proceedings
5 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $39.85 Savings: $39.85(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Computer Aided Verification 15th International Conference Cav 2003 Boulder Co Usa July 8 12 2003 Proceedings

Price:

$9.99

/month

Book details

ISBN: 3540405240, 978-3540405245

Book publisher: Springer