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
The Return of Cultural Artefacts
$129.99
Bidualrume und Vervollstndigungen von Banachmoduln
$34.99
Introduction to Reaction-Diffusion Equations
$49.99
Kanzler und Minister 2005 - 2013
$79.99
Supply Chain Management
$44.99
Wireless Communications Systems and Networks
$39.99
Introduction to Topology
$84.99
ber das Nebensprechen in kombinierten Fernsprechkreisen
$54.99
Cytopathology of Soft Tissue and Bone Lesions
$89.00
Analysis/Networks/Peptides
$39.99
Perspektivenbernahme
$49.99
Flowering Plants. Monocots
$279.99
Radio Engineering and Telecommunications Waveguide Systems in the Microwave Range
$139.00
Grundri der Auenwirtschaft
$69.99
Protein Conformation as an Immunological Signal
$54.99
Roma Victa
$119.99
Agent-Based Hybrid Intelligent Systems
$84.99
Computer Vision ECCV 2024
$79.99
Open Verification Methodology Cookbook
$89.00
Pathology of Learning in Cyber Space
$129.99
Avoiding Carbon Apocalypse Through Alternative Energy
$119.99
Branches - Dragon Masters: Jewel of the Sand Dragon
$3.71
Applied Economic Research and Trends
$249.99
AB Initio Calculation of Phonon Spectra
$109.99
Neural Circuits of Innate Behaviors
$199.99
Ergebnisse der Exakten Naturwissenschaften
$59.99
Transforming Healthcare Through Information Systems
$54.99
Economic and Financial Crime
$139.99
Handbuch Neue Steuerung im Schulsystem
$89.00
Liberalismus
$39.99
Proceedings of STCCE 2021
$169.99
Policy Practice and Digital Science
$199.99
Frontend Development with JavaFX and Kotlin
$49.99
Big Data SMACK
$29.99
Curricula for Sustainability in Higher Education
$109.99
Biofilms and Veterinary Medicine
$169.99
Verdauungsapparat
$49.99
Reliability Evaluation of Some Fault-Tolerant Computer Architectures
$39.99
Academic Collaborations in the Global Marketplace
$54.99
National Geographic Kids Readers: Cats vs. Dogs
$4.46
