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 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Reviews
Questions & Answers
Die Handelsspanne
$59.99
Lake Biwa: Interactions between Nature and People
$169.00
Stochastic Recursive Algorithms for Optimization
$84.99
Close Relations
$99.00
Learning from Difference: Comparative Accounts of Multicultural Education
$84.99
Monte Carlo
$139.99
A Syncretistic Theory of Depiction
$39.99
The Future of Inclusive Education
$109.00
Probabilistic Analysis of Redundant Systems
$109.99
The Soldier-Citizen
$109.99
Sozialwissenschaft vermitteln und aneignen
$49.99
Intelligent Methods in Signal Processing and Communications
$54.99
Human Sustainable Cities
$84.99
The Two Faces of Judicial Power
$79.99
Computer Engineering and Technology
$54.99
Data Science
$99.99
Infectious Agents Associated Cancers: Epidemiology and Molecular Biology
$169.99
Python for Probability, Statistics, and Machine Learning
$99.99
We Are Free, You and Me (Hardcover)
$14.24
Grundri der Festkrperphysik
$79.99
Bioremediation
$109.99
Schwingungslehre
$39.99
Rigidly Framed Earth Retaining Structures
$149.00
Self-Organization in Electrochemical Systems II
$169.99
Classical Tessellations and Three-Manifolds
$89.99
Pig in Jeans
$5.99
Harnwege und Sexualstrungen, Blut, Bewegungsorgane, Drsen mit innerer Skeretion, Stoffwechsel- und
$49.99
Proceedings of the XV Conference of the Italian Association for Wind Engineering
$219.99
Proceedings of the Ninth International Conference on Mathematics and Computing
$249.99
Responsible Innovation Management
$109.99
Drei Sulen der Organisation und Fhrung in turbulenten Zeiten
$69.99
Handbuch des Meeresnaturschutzrechts in der Nord- und Ostsee
$119.99
MULTIMATHEMACY: Anthropology and Mathematics Education
$39.99
Handbook of Pathology and Pathophysiology of Cardiovascular Disease
$189.00
Transition in the Baltic States
$109.99
Verschleimessungen beim Drehen mit aktivierten Hartmetallwerkzeugen
$59.99
Ethnische Einbettung und schulischer Erfolg
$59.99
Investment Incentives
$54.99
Minimax Theory of Image Reconstruction
$109.99
Analytical Methods in the Determination of Bioactive Compounds and Elements in Food
$219.99
