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
High Performance Computational Science and Engineering
$109.99
Threatcasting
$69.99
SDL 2003: System Design
$39.99
Internationaler Vergleich der Energiebesteuerung
$59.99
Digitales Marketing und Management
$89.99
Intelligent Virtual Agents
$39.99
Sprache denkt (fe)male
$24.99
Kauf, Miete und Leasing im Rating
$74.99
Air Pollution and Its Complications
$159.99
Making Common Cause
$54.99
Plan to Turn Your Company Around in 90 Days
$59.99
Maschinenakustik
$199.00
Kleincomputer oder Rechenzentrum?
$59.99
Academic Spin-offs
$129.00
True Truffle (Tuber spp.) in the World
$249.99
Tomorrow's Agriculture
$49.99
A Textbook of Graph Theory
$64.99
Digital Feeling
$84.99
A Neo-Classical Theory of Distribution and Wealth
$54.99
The Emergence of Pre-Cinema
$39.99
Intrusion Detection
$169.99
Regulatory Nascent Polypeptides
$169.99
Cohesive Subgraph Search Over Heterogeneous Information Networks
$49.99
Science between Europe and Asia
$129.00
Die Rckentwicklung des Geistes
$24.99
Pelvic Floor Ultrasound
$99.99
How Pop Culture Shapes the Stages of a Woman's Life
$119.99
New Perspectives in Software Engineering
$169.00
Collaboration for Sustainability and Innovation: A Role For Sustainability Driven by the Global Sout
$109.99
Fundamentals of Fiber Lasers and Fiber Amplifiers
$99.00
Historias de xito within Mexican Communities
$54.99
Chemical Engineering for the Food Industry
$39.99
Cellular Engineering and Cellular Therapies
$169.99
Mathematische Wissensentwicklungsprozesse von Schlerinnen und Schlern
$79.99
Obesity, Diabetes and Inflammation
$159.99
Quantum and Semi-classical Percolation and Breakdown in Disordered Solids
$54.99
The Modern Synthesis
$179.99
Leadership for Inclusive Education
$49.99
Reorganisation der Arbeit
$69.99
Beschaffungs- und Lagerwirtschaft
$29.99
