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
Artificial Intelligence for
$69.99
Understanding and Changing the World
$54.99
When Can Oil Economies Be Deemed Sustainable?
$59.99
Die Prfung nichtmetallischer Baustoffe
$79.99
A Life of Ernest Starling
$89.99
Progress in Ultrafast Intense Laser Science XV
$99.00
Strmungsfrderer
$49.99
Fernkraftplne
$59.99
A Critical Examination of Ethics in Health Care and Biomedical Research
$39.99
Patterns of Rationality
$54.99
Deductive Program Design
$219.99
Instandhaltung und Anlagenkosten
$44.99
Evolution Equations: Applications to Physics, Industry, Life Sciences and Economics
$84.99
The Question of Being in Husserls Logical Investigations
$169.99
Verkufer-Training
$59.99
Brckenkurs Mathematik fr den Studieneinstieg
$39.99
Oral Biofilms and Modern Dental Materials
$139.99
Lessons on Profiting from Diversity
$109.99
Regularity Properties of Functional Equations in Several Variables
$109.99
Paradigms in Cryptology Mycrypt 2016. Malicious and Exploratory Cryptology
$39.99
The Raven Boys (Raven Cycle Series #1) by Maggie Stiefvater
$12.99
Handbook of Print Media
$329.99
Sexualities and Identities of Minority Women
$84.99
Hypertension 1972
$109.99
Immunofluorescence in Clinical Immunology
$84.99
Mormonism, Empathy, and Aesthetics
$139.99
Recent Advances in Complex Functional Materials
$169.99
Basiswissen Medizin des Alterns und des alten Menschen
$39.99
Friedenspolitik in und fr Europa
$59.99
Advanced Network Technologies and Intelligent Computing
$84.99
The Natural Environment and the Biogeochemical Cycles
$39.99
Catalysis in C1 Chemistry
$169.00
Europawahlkampf 2019
$64.99
The World of Games: Technologies for Experimenting, Thinking, Learning
$219.99
Quantum Theory and Statistical Thermodynamics
$39.99
Advanced, Contemporary Control
$219.99
Imagining London, 1770-1900
$84.99
Protocols in Semen Biology (Comparing Assays)
$109.99
BOB Books: Stories: Cupcake Surprise! Level 1 Reader
$3.74
"In-House Banken" als Finanzintermedire
$44.99
