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
Resource-Constrained Project Scheduling
$109.99
Operator Theory, Pseudo-Differential Equations, and Mathematical Physics
$109.99
Mechanics of Biological Systems, Materials and other topics in Experimental and Applied Mechanics, V
$129.00
Molecular Virology
$84.99
Werewolf Histories
$109.00
Structured Matrices and Polynomials
$39.99
Logistics Systems
$199.99
Semiconductor Device Reliability
$259.00
Learning Cultural Literacy through Creative Practices in Schools
$59.99
Determination of Air Quality
$84.99
Standing up to Climate Change
$84.99
The Gypsy Economist
$109.99
Kleine Meteoritenkunde
$49.99
Polynomial Convexity
$84.99
Jahresheft 1923 des Phnologischen Reichsdienstes
$59.99
Statistical Theory and Applications
$109.99
Systems Theory and Biology
$129.00
Capital Flows, Credit Markets and Growth in South Africa
$59.99
Religion in Process
$109.99
The Postwar Rapprochement of Malaya and Japan 1945-61
$169.99
Professional Sitecore 8 Development
$54.99
VLSI-SoC: At the Crossroads of Emerging Trends
$54.99
EMDR
$19.99
Semiconductor Interfaces at the Sub-Nanometer Scale
$169.00
Media Futures
$59.99
Hybrid Artificial Intelligent Systems
$39.99
Return Migration and Crises in Non-Western Countries
$109.00
The Rise, Decline and Future of the British Commonwealth
$54.99
Neugestaltung von Unternehmensnetzwerken in der Finanzindustrie am Beispiel Anlagegeschft
$59.99
Women at Risk
$169.99
Unternehmensbewertung bei Akquisitionen
$59.99
Click Chemistry
$199.99
AgriCultura
$179.99
Balance-of-Payments Theory and the United Kingdom Experience
$169.99
Funktionswerkstoffe
$39.99
Soziale Arbeit als Wissenschaft
$44.99
Digital Signal Processing for Communication Systems
$129.00
Intermediate Spectral Theory and Quantum Dynamics
$84.99
Understanding Analysis and its Connections to Secondary Mathematics Teaching
$69.99
Numerical Analysis and Optimization
$84.99
