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
Certified Programs and Proofs
Best Price (Coupon Required):
Buy Certified Programs and Proofs 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
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.
Reviews
Questions & Answers
Regieren in Kommunen
$49.99
Finite Simple Groups
$129.99
Uncertainty Management in Simulation-Optimization of Complex Systems
$109.99
Transgender People and Criminal Justice
$139.99
Avian Energetics and Nutritional Ecology
$169.00
Clinical Cases in Chronic Thromboembolic Pulmonary Hypertension
$129.99
Advances in Big Data and Cloud Computing
$129.00
Fault Tolerance
$39.99
VOB-Musterbriefe fr Auftragnehmer
$49.99
Desorption Induced by Electronic Transitions, DIET III
$109.99
Elektronen-Donator-Acceptor-Komplexe
$44.99
Kurzgefate Statistik fr die klinische Forschung
$54.99
Role of Data-Intensive Distributed Computing Systems in Designing Data Solutions
$139.99
Child Abuse and Neglect: Research and Innovation
$129.00
Numerische Behandlung von Differentialgleichungen Band 3
$54.99
Islamic Fundamentalism in Egyptian Politics
$29.99
Vibrational-Rotational Excitations in Nonlinear Molecular Systems
$109.99
Gieener Gynkologische Fortbildung 1991
$69.99
Wahlen und Whler
$59.99
Innovation in Netzwerken
$59.99
The Great Pet Escape
$5.21
Statics and Influence Functions
$129.99
Theodor Adorno and Film Theory
$54.99
Ted Hughes and Trauma
$64.99
Physical Chemistry in Depth
$39.99
Sorption and Filtration Methods for Gas and Water Purification
$54.99
Operational Oceanography in the 21st Century
$169.00
Advances in Microbial Ecology
$109.99
Medical History and Physical Examination in Companion Animals
$219.99
The French Queens Letters
$39.99
Foodscapes
$17.99
70 Tips and Tricks for Mastering the CISSP Exam
$64.99
Spontaneous Cognitive Processes in Handicapped Children
$54.99
Adapting to Change
$119.00
Bias and Social Aspects in Search and Recommendation
$54.99
PET/CT in Brain Disorders
$79.99
Population Change in the United States
$54.99
Innovation Management in the Intelligent World
$159.99
Storying Social Movement/s
$49.99
Nonlinear Diffusion Equations and Their Equilibrium States II
$84.99
