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 Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.
Reviews
Questions & Answers
Complex Networks X
$84.99
Erfolgsfaktoren im internationalen Handel
$49.99
The Massachusetts General Hospital Handbook of Cognitive Behavioral Therapy
$109.00
Collected Papers Vol.1: Quantum Field Theory and Statistical Mechanics
$109.99
Optimization Models in Software Reliability
$179.99
Transmissible Spongiform Encephalopathies:
$84.99
Ost-West-Sprachgebrauch zehn Jahre nach der Wende
$59.99
The Women of Mexico's Cultural Renaissance
$129.99
Advances in Pain Therapy I
$109.99
New Horizons in Computational Chemistry Software
$299.99
Fibrin Sealing in Surgical and Nonsurgical Fields
$109.99
The Geometry of Supermanifolds
$39.99
Nanomaterials and Nanocomposites, Nanostructure Surfaces, and Their Applications
$249.99
Implementing Cloud Robotics for Practical Applications
$109.99
Familie der Zukunft
$44.99
Dairy Foods Processing
$249.99
Abschied und Offenbarung
$59.99
Lucky Luna
$5.24
Social Media for Medical Professionals
$34.99
Mnemosyne. Zeit und Erinnerung in Hlderlins Denken
$74.99
Braunkohlevergasung zur Eisenerzreduktion
$59.99
Nanotechnology Standards
$89.00
Die Volkskammer der DDR
$64.99
Endocrinology
$39.99
Chagas Disease
$84.99
An Anthology of Migration and Social Transformation
$119.99
Shape Memory Implants
$84.99
Das Bild des Hollnders in der deutschen Literatur
$44.99
Handbook of Phenomenological Aesthetics
$259.00
Make It Relevant!
$14.24
Kantianism for Animals
$59.99
Novel Natural Products: Therapeutic Effects in Pain, Arthritis and Gastro-intestinal Diseases
$109.99
Verfgungsrechtliche Steuerung wertschpfender Prozesse
$74.99
Relational Database Technology
$109.99
Strategic Approaches to Energy Management
$199.99
The Persian Gulf in Modern Times
$89.00
Suprapontine Lesions and Neurogenic Pelvic Dysfunctions
$54.99
Ultraschall-Mammographie
$44.99
Multiple Wiener-Ito Integrals
$29.99
