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
Librarians in Schools as Literacy Educators
$49.99
Das digitale Universum
$49.99
Aromaticity in Heterocyclic Compounds
$329.99
Von den natrlichen Zahlen zu den Quaternionen
$19.99
Managing Diversity in the Global Organization
$59.99
A Survey of Radial Velocities in the Zodiacal Dust Cloud
$159.99
Technology for Learners with Autism Spectrum Disorders
$54.99
An Irregular Mind
$169.99
Diffused Religion
$119.99
My First Hello Reader!: The Ball Game
$4.49
Defining an Identity
$109.99
BRST Symmetry and de Rham Cohomology
$109.99
Web Information Systems - WISE 2006 Workshops
$54.99
Physics of Bioenergetic Processes
$54.99
Hybrid Evolutionary Algorithms
$169.99
Nonlinear Functional Analysis and its Applications
$279.99
GmbH-Recht
$54.99
Schriften zur Unternehmensfhrung
$59.99
Gas-Adsorption Chromatography
$39.99
Eating Disorders, Addictions and Substance Use Disorders
$249.99
Die Ostpolitik der BRD
$59.99
Boundary Value Problems for Linear Evolution Partial Differential Equations
$169.00
Methods for studying the genetics, molecular biology, physiology, and pathogenesis of the streptococ
$169.99
Wastewater Reuse - Risk Assessment, Decision-Making and Environmental Security
$219.99
English Pronunciation in L2 Instruction
$54.99
How to Catch a Leprechaun
$3.71
Qualitt in der Krisen- und Kriegsberichterstattung
$64.99
Dear Dumb Diary: Can Adults Become Human?
$5.99
Fundamentals of Thermodynamics and Applications
$169.99
The Economics of Water Demands
$109.99
Methodologie und Praxis der Wissenssoziologischen Diskursanalyse
$74.99
Praxis der Umformtechnik
$54.99
Mathematics: A Concise History and Philosophy
$84.95
Bodies Without Borders
$54.99
Reference Materials in Measurement and Technology
$199.99
The Legacy of the Italian Resistance
$54.99
Color Doppler Flow Imaging
$39.99
Extraction, Characterization, and Functional Assessment of Bioactive Compounds
$169.99
Insecticide Microbiology
$109.99
Glucocorticoids
$39.99
