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
Imaging in Oncological Urology
$89.00
Sozialwirtschaft nachhaltig managen
$19.99
Psychological Selection and Optimal Experience Across Cultures
$129.00
Essay on Marxian Economics
$74.99
The Diachronic Mind
$109.99
Mathematical Statistics
$39.99
Multimodal Interactive Pattern Recognition and Applications
$109.99
Corporate-Governance-Systeme und ihr Einfluss auf die Innovationsfinanzierung
$79.99
Pharmacological Aspects of Heart Disease
$169.00
Advances in Bioethanol
$54.99
Do Parties Make a Difference?
$19.99
Der neuzeitliche Straenbau
$84.99
Betriebsmittelkunde fr Chemiker
$59.99
Keine Angst vor Linux/Unix
$64.99
In Search of Planet Vulcan
$54.99
Functional Textiles and Clothing
$169.99
Einfhrung in die deutsche Literatur des 20. Jahrhunderts
$59.99
Cross-National Innovation In Social Policy
$19.99
Power in Vulnerability
$69.99
Ergebnisse der Hygiene Bakteriologie Immunittsforschung und experimentellen Therapie
$59.99
Emergency Remote Teaching and Beyond
$179.99
Innovative Integrals and Their Applications I
$139.99
Advanced Information Systems Engineering
$39.99
UV Radiation and Arctic Ecosystems
$109.99
Service Innovation in Agricultural Business
$54.99
Scholar Zone Summer Math Grade 5 (2 Scholar)
$130.00
Learning Technologies and Globalization
$54.99
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
$84.99
Globalisation and Leadership in Schools
$179.99
Economic Insights on Higher Education Policy in Ireland
$99.00
Descended and Cryptorchid Testis
$39.99
Mass Transfer with Chemical Reaction in Multiphase Systems
$84.99
Umweltorientierte Unternehmensfhrung und kologische Steuerreform
$59.99
The Economics of Education and Training
$169.99
Proceedings of International Conference on Trends in Computational and Cognitive Engineering
$169.00
Molecular Mechanisms of Notch Signaling
$199.99
Sustainable Transport Studies in Asia
$84.99
The Classification of Three-dimensional Homogeneous Complex Manifolds
$54.99
Sphingosine-1-Phosphate Signaling in Immunology and Infectious Diseases
$169.99
Rural migrants in urban setting
$74.99
