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
Seaports in International Law
$49.99
Finding Freedom: A Cook's Story; Remaking a Life from Scratch by Erin French
$30.00
A Practical Guide to TPM 2.0
$44.99
Knowledge Management in Electronic Government
$39.99
Strategieorientierte Personalentwicklung in Genossenschaftsbanken
$69.99
Measuring Trends in U.S. Income Inequality
$54.99
Knowledge, Creativity and Failure
$54.99
The GLOBAL Optimization Algorithm
$54.99
Wage-Led Growth
$84.99
Regulation of Carcinogenesis, Angiogenesis and Metastasis by the Proprotein Convertases (PC's)
$169.99
Digital Media Worlds
$54.99
Jihadist Infiltration of Migrant Flows to Europe
$59.99
Manufacturing and Jobs in South Asia
$149.00
Die Entwicklung des Chemischen Pflanzenschutzes und ihre Auswirkungen / Toxikologische Probleme im P
$59.99
Polymer Composite Materials Interface Phenomena & Processes
$109.99
Applied Statistics for Agriculture, Veterinary, Fishery, Dairy and Allied Fields
$199.99
Frontier and Innovation in Future Computing and Communications
$329.99
The CADD Department
$109.99
Quantum Theory of Real Materials
$219.99
Rain is Wet!: An Acorn Book (Best Buddies #3)
$4.49
Agroforestry as Climate Change Adaptation
$59.99
Rechner-Gesttzter Unterricht
$14.99
Die groen Fnf
$29.99
Young People Making a Life
$54.99
Hartley Coleridge
$54.99
Regionalism in Africa and External Partners
$109.99
Vertical Price Coordination and Brand Care
$54.99
New Trends in Structural Health Monitoring
$169.99
Whistle For Willie
$6.50
Mastication Robots
$169.99
Pathologie des Nervensystems VIII
$169.00
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
$39.99
Spatio-Temporal Databases
$169.99
Modern Probabilistic Methods for Analysis of Telecommunication Networks
$39.99
Endspiel des Kooperativen Kapitalismus?
$79.99
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
$54.99
Congenital Heart Defects
$109.99
The Service Productivity and Quality Challenge
$169.99
Internet of Things, Smart Spaces, and Next Generation Networks and Systems
$39.99
Psychosomatik, Radiologie, Immunologie, Pathologie, Klinik und Therapie Rheumatischer Erkrankungen
$59.99
