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
Demographic and Family Transition in Southeast Asia
$109.99
Media and Public Spheres
$39.99
Die rechtsgeschftliche bertragung von Kommanditanteilen
$59.99
Adorno and Modern Theatre
$54.99
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
$84.99
An Essay on the Importance of Being Nonlinear
$54.99
First Steps in Maple
$54.99
Die Regelung der Kraftmaschinen
$59.99
Fallsammlung zu Kriminologie, Jugendstrafrecht, Strafvollzug
$19.99
Vortrge und Dia-Klinik der 16. Fortbildungswoche 1998 Fortbildungswoche fr Praktische Dermatologie
$99.99
Managing in the Information Economy
$84.99
Advanced Steels
$259.00
Japanese "Judicial Imperialism" and the Origins of the Coercive Illegality of Japan's Annexation of
$139.99
Seismic Wave Propagation and Scattering in the Heterogeneous Earth
$54.99
Testamentsvollstreckung
$54.99
Arabidopsis BUPS-ANX Receptor Complex Coordinates with RALF Peptides to Regulate Pollen Tube Integri
$84.99
Prognosen bewerten
$37.99
Integral Equation Method in Transonic Flow
$39.99
The Local Configuration of New Research Fields
$39.99
Blockchain and the Public Sector
$159.99
Logistikplanung in der Automobilindustrie
$74.99
Polyphenols and the Mediterranean Diet
$54.99
The Influence of Antibiotics on the Host-Parasite Relationship III
$129.00
Synchronous Programming of Reactive Systems
$54.99
Biotechnologie praxisorientiert unterrichten
$39.99
Pro-Poor Macroeconomics
$109.99
Zielvereinbarungen in Unternehmen
$59.99
Eisenbahnbrcken
$29.99
Logic Based Program Synthesis and Transformation
$54.99
Near-Rings and Near-Fields
$39.99
Forest Insects
$84.99
Shuri: A Black Panther Novel, The Vanished (Book 2) (Hardcover)
$13.49
A Show Trial Under Lenin
$84.99
An Atlas of Radioscopic Catheter Placement for the Electrophysiologist
$219.00
Stitch Bookend Set Lilo & Stitch Official shopDisney
$130.00
Current Trends in Wildlife Research
$109.99
Fluidenergiemaschinen
$84.99
Function Spaces with Uniform, Fine and Graph Topologies
$54.99
Labor and Aesthetics in European Contemporary Dance
$109.99
Automobile Insurance
$169.99
