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
Chomp! Chomp!: I'm a Shark
$7.49
Modernism and the Occult
$109.99
Simulation in der Medizin
$139.00
Recent Advances in Traffic Engineering
$329.99
Sttzgewebe und Skelettsystem
$74.99
Basics of Oncology
$129.99
Grbner Bases
$109.99
WordPerfect von A..Z
$59.99
Observational Studies of Photonuclear Reactions Triggered by Lightning Discharges
$169.99
Genetic Approaches to Coronary Heart Disease and Hypertension
$109.99
WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology
$39.99
Nonlinear Differential Equations of Monotone Types in Banach Spaces
$109.99
Biotechnology and Bioforensics
$54.99
Geschftsprozessorientierte Personalentwicklung
$59.99
Towards Critical Environmental Education
$109.99
Development and Regenerative Capacity of Descending Supraspinal Pathways in Tetrapods
$169.99
An Intelligent Customer Complaint Management System with Application to the Transport and Logistics
$169.99
Considering Ethics in Dance, Theatre and Performance
$99.99
From Calculus to Analysis
$79.99
Farming, Famine and Plague
$199.99
Information Systems Security
$39.99
The Interface Structure and Electrochemical Processes at the Boundary Between Two Immiscible Liquids
$39.99
Nachhaltige Entwicklung in Industrie- und Bergbauregionen Eine Chance fr den Sdraum Leipzig?
$79.99
Process Simulation and Data Modeling in Solid Oral Drug Development and Manufacture
$84.99
Future Urban Energy System for Buildings
$139.00
Strategic Deals in Emerging Capital Markets
$179.99
Equitable Access to Human Biological Resources in Developing Countries
$109.99
Talk about Prayer
$54.99
Prozemanagement als Kernkompetenz
$84.99
Multinationals, Institutions and the Construction of Transnational Practices
$109.99
Accelerated Land Reform, Mining, Growth, Unemployment and Inequality in South Africa
$54.99
Vapor Liquid Two Phase Flow and Phase Change
$119.99
A Virtual Testing Approach for Honeycomb Sandwich Panel Joints in Aircraft Interior
$109.99
Leibniz on the Parallel Postulate and the Foundations of Geometry
$129.99
Superpartikeln
$69.99
Kontinuumsmechanik
$44.99
Advances in Cryptology EUROCRYPT 96
$39.99
Die angepassten Provokateure
$59.99
From Dust to Terrestrial Planets
$169.00
Deaths Values and Obligations: A Pragmatic Framework
$54.99
