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
Pro TypeScript
$79.99
Function Theory on Manifolds Which Possess a Pole
$39.99
Critical Reflection for Transformative Learning
$139.99
A Social Epistemology of Research Groups
$69.99
Medieval Romance and the Construction of Heterosexuality
$54.99
Repeated Crisis Exposure, Euroskepticism & Political Behavior
$39.99
Distributed Leadership
$199.99
Pocket Guide Psychopharmaka von A bis Z
$19.99
Das neue ABC des Studiums
$17.99
Mathematical and Statistical Methods for Genetic Analysis
$79.99
Dependable Software Engineering. Theories, Tools, and Applications
$69.99
Traffic Grooming in Optical WDM Mesh Networks
$109.99
A Century of Physics
$34.99
Unconformities in Shakespeares History Plays
$169.99
Urban and Transit Planning
$219.99
Bernard Shaw and Totalitarianism
$109.99
Advances in Applied Biotechnology
$169.00
Die Kunst der Gestalttherapie
$149.99
Why Plato Lost Interest in the Socratic Method
$39.99
Nanotechnologie - Aufbruch ins Reich der Zwerge
$59.99
Ready-To-Go 100 Book Classroom Library: Favorites, Kindergarten
$439.00
Rhizoctonia Species: Taxonomy, Molecular Biology, Ecology, Pathology and Disease Control
$219.99
Oralpathologie I
$119.99
Merchant Princes and Charlatans or Makers of Money?
$119.99
Personal Identity, the Self, and Ethics
$54.99
Recent Research on Engineering Geology and Geological Engineering
$84.99
Die neuzeitlichen Textilveredlungs-Verfahren der Kunstfasern
$59.99
Human Insulin
$39.99
How Not to Be a Vampire Slayer
$6.74
The Long March of the French Left
$49.99
My Books Summer Grade PreK School Readiness Pack 5-Book Pack
$29.95
Challenges and Solutions to Chinas Modernization Process
$109.00
Ganzheitliche Bewertung modularer Ladungstrgerkonzepte
$59.99
Narratives of Hurricane Katrina in Context
$54.99
Crisis in the Congo
$54.99
Deep Learning for NLP and Speech Recognition
$89.99
Clinical Research Involving Pregnant Women
$139.00
Breakdown in Traffic Networks
$199.99
Ergebnisse der Hygiene Bakteriologie Immunittsforschung und Experimentellen Therapie
$59.99
