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 Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.
Reviews
Questions & Answers
Einfhrung in die Mathematische Logik
$39.99
Becoming Citizens in a Changing World
$59.99
AGENT-BASED UBIQUITOUS COMPUTING
$119.00
Cortical Deficits in Schizophrenia
$129.00
Global Health, Humanity and the COVID-19 Pandemic
$169.99
Die Chemie der Pflanzenzellwand
$59.99
Developments in Polymer Characterization
$379.99
Vertrauen. Macht. Wirtschaft
$29.99
Model-Reference Adaptive Control
$54.99
Environmental Contaminants: Ecological Implications and Management
$109.99
Fundamentals of Cheese Science
$189.00
Hypertension
$89.00
Brand Premium
$27.99
Blastocystis: Pathogen or Passenger?
$129.00
Designing Quantitative Experiments
$54.99
Instructors Manual for Statistical Methods in Education and Psychology
$54.99
Fhrung im organisationalen Kontext
$17.99
Herrscher im Alten Orient
$59.99
Die Berechnung von stofflichen und energetischen Ausgleichsvorgngen mit Hilfe der Matrixmethode
$59.99
Functional Programming, Glasgow 1991
$54.99
Budgetierung im Umbruch ?
$39.99
Nomisma und Nomismatia
$59.99
Networks in Action
$39.99
Arztpraxis - erfolgreiche bernahme
$69.99
Practical Goal Programming
$84.99
Recent Developments in Geospatial Information Sciences
$109.00
Managing Humans
$24.99
Life, Subjectivity & Art
$219.99
Prsentieren in Schule, Studium und Beruf
$44.99
Renegotiating Contracts for the Energy Transition in the Extractives Industry
$44.99
Real Algebraic Varieties
$99.00
Systematische Personalentwicklung
$39.99
Leberchirurgie
$59.99
Die Besteuerung des Unternehmens
$69.99
Technologies for Detection of DNA Damage and Mutations
$169.00
Peritoneal dialysis
$39.99
Walking Histories, 1800-1914
$99.99
Double-voicing at Work
$39.99
Auenwirtschaft
$44.99
Computers Helping People with Special Needs, Part II
$84.99
