Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Computer Aided Verification
Best Price (Coupon Required):
Buy Computer Aided Verification for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
Reviews
Questions & Answers
Gravitation in Astrophysics
$39.99
Eutrophication in Coastal Ecosystems
$129.00
Ethik und Recht - Die Ethisierung des Rechts/Ethics and Law - The Ethicalization of Law
$129.00
Uprising
$6.74
Operations Management for Social Good
$259.00
Springer Series in Light Scattering
$139.99
Reflections on Quanta, Symmetries, and Supersymmetries
$84.99
The Waste and the Backyard
$109.99
Color Atlas of Melanocytic Lesions of the Skin
$84.99
Emerging Targets in Antibacterial and Antifungal Chemotherapy
$169.00
Advances in Nuclear Physics
$84.99
Animal Encounters
$59.99
Vortex Methods in Two-Dimensional Fluid Dynamics
$39.99
International Conference on Emerging Trends in Engineering (ICETE)
$169.00
Colours in the development of Wittgensteins Philosophy
$129.99
Using Office 2013
$19.99
OPEC and the Price of Petroleum
$39.99
Reimagining Innovation in Humanitarian Medicine
$54.99
Global Temperance and the Balkans
$39.99
Die professionalisierte Mitgliederpartei
$64.99
Marketing Case Studies in Emerging Markets
$64.99
Can You See What I See?: Hidden Wonders (From the Creator of I Spy) by Walter Wick
$14.99
Nanomaterials and Nanosystems for Biomedical Applications
$199.99
Applied Machine Learning
$89.99
Research and Development in Intelligent Systems XXIV
$219.99
Hobbesian Internationalism
$59.99
Knowledge Management in Action
$84.99
Zur 27-tglichen Wiederholungsneigung der erdmagnetischen Aktivitt, erschlossen aus den tglichen C
$59.99
Minimal Neoplasia
$84.99
Methods in Membrane Biology
$54.99
Rauschen
$129.99
Grief in Schools
$84.99
Network and System Security
$99.99
Klinischer Unterricht und Weiterbildung in der Chirurgie
$69.99
Materialitten der Kindheit
$64.99
Peacebuilding in the United Nations
$79.99
Die Fabrikation der Weinsure
$44.99
Empirische Wirtschaftsforschung und konometrie
$24.99
New Advances in Statistical Modeling and Applications
$54.99
Hip Fractures
$119.99
