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 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
Reviews
Questions & Answers
Sciatica and Chronic Pain
$29.99
Efficiency, Equality and Public Policy
$109.99
Narrative Theory in Clinical Social Work Practice
$89.99
Chiral Environmental Pollutants
$139.99
Plant-Based Therapeutics, Volume 1
$199.99
Habib Bourguiba of Tunisia
$129.00
HNO-Heilkunde
$59.99
Colours in the development of Wittgensteins Philosophy
$129.99
Thermal Comfort Assessment of Buildings
$39.99
Spin
$179.99
Mathematik fr Ingenieure
$64.99
Mycotoxins in Food, Feed and Bioweapons
$169.00
Annual Report on the Development of the Indian Ocean Region (2017)
$109.99
Multi-scale Analysis for Random Quantum Systems with Interaction
$54.99
Nachrichtentheorie
$59.99
China and Africa
$179.99
Die Lebensvorgnge im Normalen Knorpel und seine Wucherung bei Akromegalie
$44.99
AI 2023: Advances in Artificial Intelligence
$79.99
Elizabeth Gaskells Smaller Stories
$119.99
Stalking Jack the Ripper (Stalking Jack the Ripper Series #1) by Kerri Maniscalco
$12.99
Wettbewerbsdynamik und Marktabgrenzung auf Telekommunikationsmrkten
$59.99
Facts and Models in Hearing
$109.99
Springer-Handbuch der Mathematik IV
$199.99
The Pathology of Devices
$109.99
The Study of International Relations
$54.99
Condition Monitoring and Control for Intelligent Manufacturing
$259.00
Artificial Intelligence, Computer and Software Engineering Advances
$219.99
EllRay Jakes: EllRay Jakes Stands Tall!
$5.21
Applications of Human Performance Models to System Design
$169.99
Perovskite-type Oxides and LiNbO3 Family
$549.99
Lake Taihu, China
$129.00
Dopamine and Glutamate in Psychiatric Disorders
$219.99
Language in a Globalised World
$109.00
Web Accessibility
$229.00
Environmental Permits
$129.00
Sektorale Wirtschaftspolitik
$59.99
Endovascular Neurosurgery
$219.99
Laplace-Transformation
$69.99
The Mediterranean Sea
$169.00
Delivering Sustainable Growth in Africa
$109.99
