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
Immobilisation of DNA on Chips I
$169.00
Urban Forestry and Arboriculture in Malaysia
$159.99
The Vegetation of the Maltese Islands
$169.99
RGB-D Image Analysis and Processing
$189.00
Wirtschaftsinformatik
$44.99
Reason and Faith at Early Princeton: Piety and the Knowledge of God
$54.99
Nano-Optoelectronics
$129.00
The Vixen Star Book User Guide
$32.99
Policy Analysis and Economics
$84.99
Hodgkin's and Non-Hodgkin's Lymphoma
$89.00
Domain Decomposition Methods - Algorithms and Theory
$109.00
Chipkarten
$39.99
Modernist Impersonalities
$39.99
Computational Ship Design
$109.00
Optical Fiber Sensor Technology
$219.99
Strategic Human Resource Management and Employment Relations
$109.99
Wege aus der Kindheit in die Jugendphase
$64.99
Regularity Theory for Quasilinear Elliptic Systems and Monge - Ampere Equations in Two Dimensions
$29.99
Wachstum und Altern
$69.99
India, Mixed Enterprise and Western Business
$54.99
Information and Process Integration in Enterprises
$169.99
Theory and Practice of Wireless Sensor Networks: Cover, Sense, and Inform
$109.99
September 11, 2001 as a Cultural Trauma
$79.99
Inspired by Nature
$109.99
Can Death Be a Harm to the Person Who Dies?
$169.99
Enviroment, Ethics and the Corporation
$84.99
Beitrge zur Psychologie und Psychopathologie der Brandstifter
$59.99
ECOWAS Protocol on Free Movement and the AfCFTA in West Africa
$139.99
Human-Computer Interaction. User Experience and Behavior
$109.99
Virus Host Cell Genetic Material Transport
$109.00
The Palgrave Handbook of Audiovisual Translation and Media Accessibility
$189.00
China and the West at the Crossroads
$109.99
Action Research and Critical Psychology
$119.00
Computational Strategies Towards Improved Protein Function Prophecy of Xylanases from Thermomyces la
$54.99
Globalization from the Bottom Up
$54.99
Recombinant Protein Production with Prokaryotic and Eukaryotic Cells. A Comparative View on Host Phy
$219.99
Handbuch zur Abrechnung von Krankenhausleistungen
$59.99
Ralegh and the Throckmortons
$99.00
Macho Men in South African Gyms
$109.99
Neural Nets: Applications in Geography
$39.99
