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
Lehrbuch der Analysis. Teil 1
$44.99
In Considerable Variety: Introducing the Diversity of Australias Insects
$129.00
Computer Simulation of Condensed Phases in Complex Geometries
$39.99
Computed Tomography of the Gastrointestinal Tract
$74.99
The Economics of Building Societies
$74.99
Redox-Mediated Signal Transduction
$199.99
Medizinische Statistik mit SAS Studio unter SODA
$19.99
Discrete-Time Higher Order Sliding Mode
$109.99
Atlas of Finger Reconstruction
$119.00
Grundlagen der Informatik
$69.99
Sozialpsychologie der Partnerschaft
$59.99
Plenum Press Handbooks of High-Temperature Materials
$54.99
Self-Organization, Emerging Properties, and Learning
$129.00
New Horizons in the Analysis of Control and Raising
$169.99
Multicultural Science Education
$109.99
Recent Advances in Transportation Systems Engineering and Management
$299.00
Umsatzerfassung nach US-GAAP und IFRS
$69.99
Linking Language, Trade and Migration
$119.99
Tales of Physicists and Mathematicians
$39.99
Teleservices and Multimedia Communications
$39.99
Science Curriculum for the Anthropocene, Volume 1
$139.99
Microelectronics Manufacturing Diagnostics Handbook
$169.00
Integration of Fundamental Polymer Sciene and Technology5
$74.99
Control Systems Synthesis
$39.99
Impact of Pesticides on Farmer Health and the Rice Environment
$169.00
A General Topology Workbook
$54.99
Cognitive (Internet of) Things
$37.99
Methotrexate
$39.99
The Radiating Atmosphere
$219.99
Recent Advancements in Artificial Intelligence
$299.99
Womens Literary Feminism in Twentieth-Century China
$54.99
Nonblocking Electronic and Photonic Switching Fabrics
$109.99
Risikomanagement und Fehlervermeidung im Krankenhaus
$69.99
Von der Autonomie des Klangs zur Heteronomie der Musik
$49.99
Grundlagen und neue Perspektiven des Luxustourismus
$49.99
Von der Idee zum Businessplan
$59.99
Private Equity in Germany
$79.99
Social Media and the Post-Truth World Order
$54.99
Zahnrztliche Prothese und Mundhhlen-Carcinom
$69.99
Perceptual Image Coding with Discrete Cosine Transform
$54.99
