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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
Reviews
Questions & Answers
Variational Methods in Imaging
$54.99
Animal, Vegetable, Junk- A History of Food, from Sustainable to Suicidal- A Food Science Nutrition History Book by Mark Bittman
$18.99
Information Technology in Biomedicine
$249.99
Relaxation of the Chemical Bond
$219.99
Soviet Maser Research
$54.99
Wave Interactions As a Seismo-acoustic Source
$39.99
Certified Programs and Proofs
$39.99
Economic Policy in a Monetary Union
$109.99
Nanotechnology for Agriculture
$219.99
Narrative Inquiry in Music Education
$109.99
Computersysteme Aufbau und Funktionsweise
$59.99
Burnout aus ressourcenorientierter Sicht im Geschlechtervergleich
$49.99
The Jacobites at Urbino
$54.99
Perspectives on Time
$169.99![How to Manifest: Bring Your Goals into Alignment with the Alchemy of the Universe [A Manifestation Book] by Gill Thackray](https://slimages.macysassets.com/is/image/MCY/products/7/optimized/23631997_fpx.tif?wid=1200&fmt=jpeg&qlt=100)
How to Manifest: Bring Your Goals into Alignment with the Alchemy of the Universe [A Manifestation Book] by Gill Thackray
$14.99
Bioinformatics Research and Applications
$89.99
Big Data and Cloud Computing
$299.99
Radioaktive Elemente: Actinoide
$17.99
Towards Revealing the Origin of Life
$169.99
International Communities of Invention and Innovation
$39.99
Intelligent Tutoring Systems
$54.99
Gelungenes Onboarding, Reboarding und Offboarding im Unternehmen
$17.99
Modellbildung in der Informatik
$29.99
International Joint Conference 15th International Conference on Computational Intelligence in Securi
$149.00
Kleine Erdbebenkunde
$39.99
The Urban Forest
$169.99
Fortschritte der Neuroleptanalgesie
$69.99
New Work braucht New Learning
$44.99
It Takes a Village
$4.46
Simon Stevin
$179.99
Controversies in Neuro-Ophthalmic Management
$169.99
Investitionssteuerung, Periodenerfolgsrechnung und Economic Value Added
$64.99
Chromogranins
$129.00
Microelectronics and Microsystems
$84.99
Hochschulerfinderrecht
$129.99
Immune Infertility
$99.00
Fundamental and Applied Nano-Electromagnetics
$169.99
Innovations in Diagnostic Radiology
$84.99
Trends in Information Processing Systems
$39.99
Scholastic Text Sets Grade 3: Wild Earth
$95.00
