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
HIV/AIDS in Russia and Eurasia
$54.99
Strategische Innovationsorientierung von Business-to-Business-Unternehmen
$69.99
Llama Llama and the Bully Goat
$5.21
Unternehmenssteuerung zwischen Akteur, System und Umwelt
$39.99
The Economics of Managing Biotechnologies
$84.99
Curiosity as an Epistemic Virtue
$54.99
The Variorum Edition of the Plays of W.B.Yeats
$129.00
Meditation Neuroscientific Approaches and Philosophical Implications
$139.00
Coding Theory and Applications
$39.99
Panofsky on Physics, Politics, and Peace
$54.99
All the Brains in the Business
$24.99
Abduction, Reason and Science
$109.99
Aufgabensammlung zur statistischen Methodenlehre und Wahrscheinlichkeitsrechnung
$59.99
Problemanalyse, Zielanalyse, Zielformulierung in der Psychotherapie
$37.99
Physical Biology of Proteins and Peptides
$129.00
Computer Vision ECCV 2016
$109.99
Comparative Education Research
$189.00
Nonlinear Time Series Analysis with Applications to Foreign Exchange Rate Volatility
$54.99
Redaktionsmanagement
$44.99
Mehr Komplikationen in der Ansthesie
$59.99
Creep Transition in Cylinders
$74.99
Seismicity in Mines
$54.99
Progress in Image Analysis and Processing, ICIAP 2013
$39.99
Information and Communication Technology for Competitive Strategies (ICTCS 2021)
$279.99
Advances in Human Factors and Sustainable Infrastructure
$109.99
Angewandte Statistik
$64.99
Das muss ich nicht tun!
$74.99
Die schriftliche Form germanistischer Arbeiten
$19.99
Selected Areas in Cryptography SAC 2017
$54.99
AlkyneBased Nanostructures on Silver Substrates
$109.99
Computational Autism
$109.99
Aktiv verkaufen am Telefon
$39.99
High-Level Models of Unconventional Computations
$109.99
Legal Opposition Politics under Authoritarian Rule in Brazil
$14.99
Nasal Drug Delivery
$199.99
Methodological Approaches to Societies in Transformation
$54.99
CATIA V5-Praktikum
$37.99
Arbeitsvorbereitung II
$69.95
Green Biocomposites
$179.99
Chirurgie des Kolonkarzinoms
$119.99
