Computer Aided Verification
Majumdar
Sold by Kennys Bookstore, Olney, MD, U.S.A.
AbeBooks Seller since October 9, 2009
New - Soft cover
Condition: New
Ships within U.S.A.
Quantity: 15 available
Add to basketSold by Kennys Bookstore, Olney, MD, U.S.A.
AbeBooks Seller since October 9, 2009
Condition: New
Quantity: 15 available
Add to basketThe total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.
The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
"About this title" may belong to another edition of this title.
We guarantee the condition of every book as it's described on the Abebooks websites.
If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.
For any queries please use the contact seller link or send an email to books@kennys.ie
Conor Kenny
All books securely packaged. Some books ship from Ireland.
| Order quantity | 14 to 20 business days | 13 to 14 business days |
|---|---|---|
| First item | US$ 10.50 | US$ 21.00 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.