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 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
Environment, Health and History
$54.99
Fachausdrcke der physikalischen Chemie
$59.99
Elektrodynamik
$69.99
Minderheiten im Transformations- und Konsolidierungsprozess Polens
$59.99
Interactive Storytelling
$89.99
Poverty, Inequality, and Innovation in the Global South
$139.99
Caddie Woodlawn
$5.96
Industrial and Labor Economics
$54.99
Signalized Intersections
$54.99
HNO Praxis heute
$34.99
Binary Functions and their Applications
$54.99
Braids and Self-Distributivity
$84.99
BrazilChina Relations in the 21st Century
$99.99
Fluidmechanisch und elektrophysikalisch optimierte Entladungsstrecken fr CO2-Hochleistungslaser
$59.99
The Concordance-Homotopy Groups of Geometric Automorphism Groups
$29.99
Boreal Peatland Ecosystems
$329.99
Schmerzpsychotherapie
$89.99
Historiography of Mathematics in the 19th and 20th Centuries
$139.00
Intelligent Tutoring Systems
$39.99
The Practical Intellect
$54.99
Platinum Coordination Complexes in Cancer Chemotherapy
$39.99
Internal Friction in Metallic Materials
$169.99
PRICAI 2024: Trends in Artificial Intelligence
$79.99
E.T. Talk
$37.99
Die Welt nach 9/11
$119.99
Using and Improving OpenMP for Devices, Tasks, and More
$39.99
The Originality and Complexity of Albert Camuss Writings
$54.99
Minimalinvasive Haartransplantation
$149.99
Modeling Attack Security of Physical Unclonable Functions based on Arbiter PUFs
$139.99
Alexander Romanovich Luria
$84.99
The Protistan Cell Surface
$84.99
Flowering Plants. Monocots
$279.99
New Perspectives on Thomas Hardy
$109.99
The Adenosinergic System
$129.00
Advanced Techniques of Endoscopic Lumbar Spine Surgery
$159.99
Thoreau at Walden
$11.21
Hobbess Science of Natural Justice
$219.99
AC and DC Network Theory
$54.99
Automatisierung des Biegerichtens
$84.99
Elektrofahrzeuge fr die Stdte von morgen
$49.99
