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:
Buy Certified Programs and Proofs for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Fog-Enabled Intelligent IoT Systems
$139.99
Dyamonde Daniel: Rich
$5.21
Praktische Neuroonkologie
$119.00
Decodable Cards: Long Vowels & More
$37.49
Der Chirurgische Operationssaal
$79.99
International Joint Conference 16th International Conference on Computational Intelligence in Securi
$199.99
Flash Fiction America- 73 Very Short Stories by James Thomas Editor
$16.95
Fundamental Problems in Quantum Physics
$169.99
Coordination Models and Languages
$39.99
Digitaler Naturalismus
$19.99
Higher Education Computer Science
$64.99
Traumatic Dental Injuries in Children
$159.99
Coherent Radiation Sources
$39.99
Atlas of Ocular Optical Coherence Tomography
$379.99
Computer-Supported Calculus
$39.99
Oracle Database Application Security
$54.99
Aktuelle Perspektiven der Biologischen Psychiatrie
$59.99
System Test and Diagnosis
$129.00
High Sensitivity Magnetometers
$199.99
Hydrogeology of Crystalline Rocks
$109.99
History as a Science and the System of the Sciences
$109.99
Induction Motors
$109.99
Geotechnics and Earthquake Geotechnics Towards Global Sustainability
$109.99
Symbolic and Algebraic Computation
$44.99
Martingale Hardy Spaces and Summability of One-Dimensional Vilenkin-Fourier Series
$199.99
Deep Learning for Security and Privacy Preservation in IoT
$199.99
Pharmacology of the WNT Signaling System
$169.99
The Alfonsine Tables of Toledo
$169.99
Kombinatorische Optimierung
$44.99
Young Adult Drinking Styles
$84.99
Eco-Stats: Data Analysis in Ecology
$129.99
The Challenge of CMC Regulatory Compliance for Biopharmaceuticals
$149.00
The Cyborg Subject
$39.99
New York City and the Hollywood Musical
$109.99
Formal Methods: State of the Art and New Directions
$109.99
Methoden zur Untersuchung des Flieverhaltens von feuerfesten Baustoffen bei hohen Temperaturen
$54.99
Immunbiologie
$64.99
Die Chemie und der Stoffwechsel des Nervengewebes
$49.99
Using Mobile Technologies in the Teaching and Learning of Mathematics
$169.99
Discrete Linear Control Systems
$109.99
