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
Learner-Centered Design of Computing Education
$54.99
Machine Learning in Medical Imaging
$39.99
Spy Thrillers
$49.99
Die Wiederentdeckung der Diaspora
$39.99
Psychoanalyse der Frau jenseits von Freud
$64.99
The Oil Palm Genome
$169.99
Market or Government Failures?
$109.99
Oil and Gas Resources in China: A Roadmap to 2050
$54.99
Gene Future
$54.99
Liquid-Metal Heat Transfer Media
$109.99
Student Mobilities and International Education in Asia
$54.99
Internationale Talententwicklung in der digitalen Arbeitswelt
$17.99
Methods in Protein Sequence Analysis 1986
$219.99
Analysis of Drum and Disk Storage Units
$29.99
EAI International Conference on Technology, Innovation, Entrepreneurship and Education
$169.99
Arguing Fundamental Rights
$84.99
Plains Vizcachas
$199.99
Environmentally Benign Photocatalysts
$89.00
Theorising Urban Development From the Global South
$129.99
Metathinking
$84.99
Taurine 7
$259.00
Die traumatischen Lsionen des Rckenmarkes auf Grund der Kriegserfahrungen
$59.99
Karrierewege als Thema der internen Kommunikation
$39.99
Aspect-Oriented Requirements Engineering
$109.99
Governability of Fisheries and Aquaculture: Theory and Applications
$109.99
Fuzzy Social Choice Theory
$109.99
Decision Taking, Confidence and Risk Management in Banks from Early Modernity to the 20th Century
$149.00
Physik der Halbleiterbauelemente
$34.99
A Parallel Multilevel Partition of Unity Method for Elliptic Partial Differential Equations
$54.99
Innovationsportfoliomanagement
$59.99
The Logical Structure of Linguistic Theory
$249.99
Information Technology for Management: Business and Social Issues
$49.99
Patient-Derived Xenograft Models of Human Cancer
$139.99
Insulin Resistance
$109.00
Advances in Molecular Genetics of Plant-Microbe Interactions, Vol.1
$219.99
Ready-To-Go 2 75 Book Classroom Library, Grade 5
$420.00
Bauwirtschaft und Konjunktur
$59.99
Single-Instruction Multiple-Data Execution
$49.99
The French Communist Party During the Fifth Republic
$54.99
LISP, Lore, and Logic
$99.99
