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
Bildungspartnerin Universitt
$44.99
Databases in Networked Information Systems
$54.99
Micro-CT of Temporal Bone
$84.99
Das Bild der Frau in Federico Garca Lorcas dramatischen Werken als Weiterentwicklung einer Konstant
$39.99
Agile Unternehmen durch Business Rules
$64.99
Entwicklung Wachstum II
$59.99
Die neue Angestelltenversicherung
$59.99
Medien | Zeiten
$64.99
Studien- und Berufserfolg von Hochschulabsolventen mit unterschiedlichen Studieneingangsvoraussetzun
$59.99
Proteopathic Seeds and Neurodegenerative Diseases
$169.99
System Level Hardware/Software Co-Design
$169.99
Harmonising Demographic and Socio-Economic Variables for Cross-National Comparative Survey Research
$84.99
OOIS 95
$109.99
SQL Server Query Performance Tuning Distilled
$59.99
Analysis and Design of Transmitarray Antennas
$54.99
Principles of Microbial Metabolism and Metabolic Ecology
$109.99
Mensch und Computer im Jahre 2000
$54.99
Using Game Theory to Improve Safety within Chemical Industrial Parks
$84.99
Dictionary of Energy
$59.99
Lehrbuch der Pharmakognosie und Phytopharmazie
$54.99
Cancer Chemotherapy and Selective Drug Development
$169.99
Next Generation Sequencing in Cancer Research
$199.99
Konstitutionalisierung im Vlkerrecht
$159.00
Hyperbolic Systems of Conservation Laws
$54.99
The Sons of Constantine, AD 337-361
$119.00
Non-Banking Financial Companies Role in India's Development
$54.99
Vortrge der IX. Fortbildungswoche der Dermatologischen Klinik und Poliklinik der Ludwig-Maximilians
$69.99
The Impact of New Labour
$109.99
Intentional Perspectives on Information Systems Engineering
$129.00
Services Computing SCC 2019
$39.99
Atlas of Thyroid Ultrasonography
$279.99
Kapazitierte stochastisch-dynamische Facility-Location-Planung
$69.99
Literature 1972, Part 2
$54.99
JIMD Reports - Case and Research Reports, Volume 13
$109.99
Chinas Domestic and International Migration Development
$54.99
Der Weltmarkt 1913 und Heute
$44.99
The Geobiology and Ecology of Metasequoia
$169.99
Marx's Resurrection of Aristotle
$129.99
Local Cortical Circuits
$84.99
Konsensus und Interessen
$64.99
