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
Financial, Staffing and Societal Sustainability of Dutch Health Care
$59.99
One Rights: Human and Animal Rights in the Anthropocene
$37.99
Tissue Engineering
$109.99
Bulgarisch-Deutsch fr die Pflege zu Hause
$29.99
Gadd45 Stress Sensor Genes
$169.99
return Jahrgang 2020
$99.99
Eliten und Liberalismus
$59.99
Thromboembolism in Orthopedic Surgery
$109.99
Einfhrung in die Mechatronik
$44.99
Authority, Power and Policy in the USSR
$19.99
Exploring the Strategy Space of Negotiating Agents
$109.99
Frozen Section Library: Gynecologic Pathology Intraoperative Consultation
$119.00
Theoretical Orientations and Practical Applications of Psychological Ownership
$109.00
Mining, Society, and a Sustainable World
$129.00
The Origins of Modern Historiography in India
$39.99
Das politische System der Niederlande
$39.95
Current Concepts in the Management of Lymphoma and Leukemia
$84.99
Graphenbasierte Funktionsdarstellung
$49.99
Impact of Aircraft Sourcing & Financing on Financial Success
$49.99
Food Powders Properties and Characterization
$169.99
Orbital Transport
$109.99
Rookie Reader-Level B: A Buzz Is Part of a Bee
$3.71
Modern Approaches for Intelligent Information and Database Systems
$129.00
Secure Systems Development with UML
$109.99
Internet and Network Economics
$84.99
Productive Remembering and Social Agency
$49.99
Integrated Image and Graphics Technologies
$129.00
Handbuch der normalen und pathologischen Physiologie
$84.99
Competition Law Enforcement in the BRICS and in Developing Countries
$84.99
Veranschlagen, Bauleitung, Baupolizei und Heimatschutzgesetze
$79.99
Particle and Astroparticle Physics
$59.99
Natriuretic Peptides in Health and Disease
$219.99
Religion und Naturwissenschaft im sptantiken Denken
$54.99
Data Science
$54.99
Program Management of Technology Endeavours
$109.99
Cryptographic Hardware and Embedded Systems - CHES 2004
$54.99
Erinnerungen im Konflikt
$59.99
High Resolution in Solar Physics
$39.99
Finanzmathematik
$44.99
Design of Ship Hull Structures
$279.99
