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 referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.
Reviews
Questions & Answers
Strmungslehre, Gasdynamik und Aerodynamisches Laboratorium
$44.99
Experience Skype to the Max
$34.99
Die ffentliche Begrndung politischen Handelns
$64.99
Information Systems Security
$39.99
-barrel Channel Proteins as Tools in Nanotechnology
$169.99
Lehrbuch der Mathematik, Band 4
$64.99
New Sporting Femininities
$169.99
British Diplomacy and the Descent into Chaos
$54.99
Physical Assurance
$119.99
Bilder des Alterns und der Lebensalter im Bildraum Erwachsenenbildung
$69.99
Sustainable Global Outsourcing
$39.99
Some Kind of Courage
$6.74
Onconephrology
$159.99
Hypoxia and Cancer
$169.99
Changing Welfare
$39.99
Basel II im Wettstreit internationaler Regulierungsinteressen
$64.99
Microeconomics, Macroeconomics and Economic Policy
$39.99
The COVID-19 Crisis and Entrepreneurship
$84.99
Open Semantic Technologies for Intelligent Systems
$54.99
Congenital Vascular Malformations
$179.99
Spezifische Executive Support Systems
$49.99
Statistical Methods in Education and Psychology
$39.99
The Song of Achilles by Madeline Miller
$17.99
Introduction to Oil and Gas Technology
$54.99
The Life Cycle of Entrepreneurial Ventures
$259.00
The Renin Angiotensin System in Cardiovascular Disease
$169.99
Spin Glasses
$34.99
Praktische Psychologie fr den Umgang mit Mitarbeitern
$44.99
Computer Aided Drug Design in Industrial Research
$39.99
Diffusion in Gases, Liquids and Electrolytes
$549.99
Rhetorik fr Finanz-Manager
$29.99
Drug Abuse and Addiction in Medical Illness
$109.99
The Pacific Island States
$169.99
Series-Parallel Converter-Based Microgrids
$159.99
Atmospheric Tidal and Planetary Waves
$169.00
Data Science Revealed
$54.99
Biodiversity and Tourism
$84.99
Stromquellen fr den Rhrenempfang
$44.99
Education, Aspiration and Upward Social Mobility
$84.99
Overview of Low-Carbon Development
$84.99
