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
Experten-Forum Powertrain: Reibung in Antrieb und Fahrzeug 2019
$119.99
Allgemeine und spezielle Auskultation des Herzens
$64.99
Modeling and Analysis of Voice and Data in Cognitive Radio Networks
$54.99
Analysis of Multivariate Survival Data
$129.00
New Waves in Metaphysics
$39.99
Human Fertility
$219.99
Wegweiser Verhaltenstherapie
$19.99
Perspectives on Business Modelling
$109.99
Der Einflu von Antihypertonika-Kombinationen (Reserpin, Clonidin und Acetylandromedol) auf den Blut
$54.99
Untersuchung der Potentiale der numerischen Strmungsberechnung zur Prognose der Partikelemissionen
$64.99
Enzyme Histochemistry
$109.99
Brazil and the United States during World War II and Its Aftermath
$119.99
Die Gleichungen der Physik
$17.99
A Handbook of Food Packaging
$219.99
Dual-Polarization Two-Port Fiber-Optic Gyroscope
$109.99
A Complete Concordance to Shakespeare
$449.99
A New Commentary on the Poems of W.B. Yeats
$169.99
Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013
$259.00
Post-Communist Romania
$109.99
Beneath
$6.74
Agents of Witchcraft in Early Modern Italy and Denmark
$129.99
Mining Text Data
$249.99
Anerkennung von Beitragszeiten
$49.99
The Formation of Civil Society in Modern Iran
$39.99
Aktuelle gastroenterologische Diagnostik
$44.99
Emile Durkheim
$64.99
Advanced Topics in Control Systems Theory
$84.99
Decolonization of Psychiatry in Jamaica
$109.99
Politik, Medien, Technik
$59.99
Entwicklungspsychologie des Kindes- und Jugendalters fr Bachelor
$29.95
The Twilight of British Ascendancy in the Middle East
$109.99
Political Engagement Amongst Ethnic Minority Young People
$54.99
Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple und MapleSim
$59.99
Kingdom Of The Cursed (Kingdom Of The Wicked Series #2) By Kerri Maniscalco
$18.99
Das Rotkppchen-Prinzip
$19.99
Quin Ganar?: Tarntula vs. Escorpin (Who Would Win?)
$2.99
Psychologische Forschung im Umri
$49.99
Fluorescence Molecular Tomography
$179.99
Theatre and Event
$39.99
The Structure Underlying Measure Phrase Sentences
$39.99
