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
Manufacturing Systems Control Design
$169.99
The Role of Viruses and the Immune System in Diabetes Mellitus
$84.99
Preclinical Evaluation of Antimicrobial Nanodrugs
$109.99
Validating RDF Data
$69.99
Developments in Islamic Banking
$109.99
Ted Hughes As Shepherd Of Being
$29.99
Solution of Variational Inequalities in Mechanics
$109.99
Thyroid Cancer
$169.00
Semiparametric Modeling of Implied Volatility
$84.99
The Neurosurgical Approach to Intracranial Infections
$54.99
The Disappearing Spoon
$6.71
Change-Prozesse effizient durchfhren
$59.99
Die erfolgreiche Arztpraxis
$44.99
Legal Aspects of Autonomous Systems
$199.99
Islamic Development Management
$169.99
Technology Education for Teachers
$49.99
Galois Theories of Fields and Rings
$64.99
Mineralogie basischer Feuerfest-Produkte
$59.99
An MT-Oriented Study of Corresponding Lexical Chunks in Business Correspondences from English to Chi
$199.99
Nachtrag zum Teil II: Sitzungsbericht
$54.99
Portraits of Irish Art in Practice
$89.00
Vegetation der Erde
$89.99
Praxiswissen Gleitschleifen
$59.99
An Invitation to Critical Mathematics Education
$49.99
Electrical Energy Generation in Europe
$169.99
India's Strategic Future
$109.99
Analyse und Grobprojektierung von Logistik-Informationssystemen
$69.99
Leonardo da Vincis Giant Crossbow
$39.99
Konzentration von Arbeitern und Auslndern in Grostadtinnenstdten am Beispiel der Stadt Kln
$59.99
Die bilanzielle Behandlung von Handy-Subventionen bei Mobilfunkunternehmen
$69.99
Strategiefhigkeit im Regulierungswettbewerb
$79.99
Biomembrane Structure and Function
$84.99
Grundkurs Regelungstechnik
$39.99
Taylorsystem und Physiologie der beruflichen Arbeit
$59.99
Engagement im Ruhestand
$44.99
Principles of Organometallic Chemistry
$169.99
Einfhrung in die Akustik
$64.99
Financial Conglomerates
$109.99
PISA 2000
$89.99
Diversity-Management
$39.99
