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 referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.
Reviews
Questions & Answers
Inpatient Behavior Therapy for Children and Adolescents
$169.99
Inter-area Oscillations in Power Systems
$169.99
Pro Windows Subsystem for Linux (WSL)
$59.99
Prdisponierende Bedingungen fr akute Ischmiesyndrome
$59.99
Teaching America to the World and the World to America
$54.99
Graphs, Dioids and Semirings
$179.99
Handbuch der Laplace-Transformation
$59.99
Einfhrung in die Wahrscheinlichkeitsrechnung und mathematische Statistik
$59.99
Der Sekundenherztod mit besonderer Bercksichtigung des Herzkammerflimmerns
$59.99
Globalization and Standards
$109.99
NATO in the New European Order
$109.99
Generalized Voronoi Diagram: A Geometry-Based Approach to Computational Intelligence
$169.00
Emerging Methods for Multidisciplinary Optimization
$109.99
The Asia-Pacific Economy
$169.99
Acht Jugendportrts
$59.99
Kinetics of Catalytic Reactions
$69.99
Pro WPF C#
$99.99
Mathematische Hilfsmittel des Ingenieurs
$59.99
The Biosynthesis of Polysaccharides
$54.99
Werbung und Werte
$69.99
Limits of Stability and Stabilization of Time-Delay Systems
$109.99
Frequency Domain Properties of Scalar and Multivariable Feedback Systems
$84.99
Strategisch-systemische Aspekte der Verhaltenstherapie
$29.99
Prolog
$49.99
Star Sociologists
$109.00
Imagining Europe
$159.99
The Soul of Creation (Shensi)
$69.99
ACR BI-RADS-Atlas der Mammadiagnostik
$399.99
Offline!
$29.99
Wissen ber dynamische Systeme: Erwerb, Reprsentation und Anwendung
$69.99
The Pulmonary Neuroepithelial Body Microenvironment
$119.99
Mouse Retinal Phenotyping
$149.00
Development and Sustainability
$219.99
The Management of Enterprises in the Peoples Republic of China
$169.00
Refractive Indices of Solids
$54.99
Intelligent Algorithms for Analysis and Control of Dynamical Systems
$109.99
Ecotourism
$129.99
Bubble Dynamics and Interface Phenomena
$259.00
Neuronale Netze im Marketing-Management
$59.99
Ultrasonic Wave Propagation in Non Homogeneous Media
$219.99
