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 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
Reviews
Questions & Answers
Nonparametric and Semiparametric Models
$149.00
Golf and Wind
$109.99
Structural Power in the Global Age
$54.99
Personal Power
$59.99
Distributed and Parallel Systems
$109.99
Organolithium Compounds/Solvated Electrons
$39.99
Dog Man and Cat Kid (Dog Man Series #4) by Dav Pilkey
$12.99
The Economics of Tourism Destinations
$109.99
Stochastic Approximation Methods for Constrained and Unconstrained Systems
$54.99
Memory, Consciousness and Temporality
$169.99
Physical Geodesy
$99.99
Adaptation and Mitigation Strategies for Climate Change
$229.00
Conflict Resolution and its Context
$84.99
Molecular and Quantum Pharmacology
$219.99
Scholastic MATH
$8.49
Advances in Psychoneuroimmunology
$219.99
Der Nonprofit-Sektor der Organisationsgesellschaft
$69.99
Laser/Optoelektronik in der Technik / Laser/Optoelectronics in Engineering
$59.99
PsyQM
$44.99
Fertigungsmesstechnik
$54.99
Chinese Merger Control Law
$84.99
The British Labour Government and the 1976 IMF Crisis
$109.99
Advanced Lasers
$109.99
Semiconductor and Metal Binary Systems
$54.99
Processing of Crystalline Ceramics
$39.99
New Physico-Chemical Techniques for the Characterization of Complex Food Systems
$169.99
Social Policy Reform and Market Governance in Latin America
$109.99
Business in Africa in the Era of Digital Technology
$199.99
Spatial Information Theory
$39.99
ALSTAT PC
$49.99
Astrophysics and Space Science
$219.99
Advances in Artificial Systems for Power Engineering
$84.99
Autonomous Robotic Systems
$169.99
Apokalyptische Reiter sind in der Luft
$59.99
Ergebnisse der sportrztlichen Untersuchungen bei den IX. Olympischen Spielen in Amsterdam 1928
$59.99
Expanding the Parameters of Feminist Artivism
$79.99
Proceedings of the 19th International Conference on Intelligent Unmanned Systems
$199.99
Organizing Patient Safety
$99.99
Quantitative und qualitative empirische Forschung
$44.99
Modeling and Inverse Problems in Imaging Analysis
$54.99
