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
Deposition of Atmospheric Pollutants
$39.99
Clementine Fox and the Great Island Adventure: A Graphic Novel (Clementine Fox #1)
$9.74
Anstze fr eine umfassende Rechnungslegung zur Zahlungsbemessung und Informationsvermittlung
$79.99
Kleines Lexikon historischer Personen der rmischen Antike
$17.99
Alternating Sequential-Parallel Processing
$39.99
Combinatorial Optimization -- Eureka, You Shrink!
$39.99
Innovations Lead to Economic Crises
$119.99
Post-Punk, Politics and Pleasure in Britain
$24.99
Writing Future Worlds
$99.99
Deep Learning in Object Detection and Recognition
$179.99
Die Politische konomie der Europisierung
$39.99
Images and Ideas in Literature of the English Renaissance
$19.99
Development of Safety-Critical Systems
$79.99
India's Low-Skilled Migration to the Middle East
$179.99
Lehrer-Schler-Interaktion
$59.99
Imagine Math
$39.99
Healing the Wounds of Gukurahundi in Zimbabwe
$54.99
Web Services and Formal Methods
$49.99
Atlas der Anatomie des Menschen
$29.99
Aerodynamik des Fliegens
$99.99
The Reputation Economy
$64.99
On the Dynamics of Exploited Fish Populations
$219.99
Continuum Mechanics
$129.00
Computerbrokratie
$59.99
Radikale Werte
$39.99
The Mucosal Immune System
$39.99
Organisation
$69.99
Functional Partial Laryngectomy
$129.99
Recent Advances in the Epidemiology and Prevention of Gallstone Disease
$84.99
Kooperative Technologieentwicklung
$29.99
Centenarians
$54.99
Climate Change on Mountains
$29.99
Pharmacokinetic-Pharmacodynamic Modeling and Simulation
$74.99
High-Voltage Equipment of Power Systems
$89.99
Pro CSS Techniques
$39.99
High Availability and Disaster Recovery
$54.99
Neurosteroids and the Nervous System
$54.99
Eine Simulationsumgebung fr Planung und Betrieb von Produktionssystemen
$59.99
Cat on the Run in Cat of Death! (Cat on the Run #1) - From the Creator of The Bad Guys
$5.99
Adsorption Heat Pumps
$89.99
