Copied Certified Programs and Proofs
Certified Programs and Proofs
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Weighting Methods and their Effects on Multi-Criteria Decision Making Model Outcomes in Water Resour
$49.99
Cosmic Collisions
$39.99
Strategien indigener Ressourcennutzung auf Borneo
$39.99
Fruit Salad
$3.71
Probability Measures on Groups X
$219.99
Glowworm Swarm Optimization
$109.99
Gravity Interpretation
$109.00
Schooling for Sustainable Development Across the Pacific
$109.99
Zwischenrume der Vernderung
$64.99
Computational Logic in Multi-Agent Systems
$54.99
Biodiversity and Education for Sustainable Development
$129.00
Feldbussysteme in der Praxis
$49.99
Capillary Electrophoresis of Proteins and Peptides
$129.00
Variantenvielfalt und Logistiksysteme
$44.99
Mobile Learning
$129.00
Unternehmensreputation im digitalen Zeitalter
$64.99
Social Media for Civic Education
$59.99
Cross and Crucible Johann Valentin Andreae (15861654) Phoenix of the Theologians
$329.99
Defects in T Cell Trafficking and Resistance to Cancer Immunotherapy
$84.99
Building the e-World Ecosystem
$54.99
Meeresbiologische Exkursion
$29.99
Chaos: Concepts, Control and Constructive Use
$54.99
Jugend und Zukunft
$59.99
Organisation im Bankbetrieb
$49.99
Sequential Experiments with Primes
$84.99
Untersuchungen ber die Mglichkeit der selektiven Erdschluerfassung durch Messung des im Erdseil v
$59.99
Postmerger-Management
$59.99
Non-Parametric Statistical Diagnosis
$219.99
CSR und Nachhaltigkeitsstandards
$59.99
Advances in Digital Logistics, Logistics and Sustainability
$219.99
Quantum Physics: The Bottom-Up Approach
$54.99
Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives
$54.99
Child and Adolescent Resilience Within Medical Contexts
$109.99
Das etwas andere Rhetorik-Training oder Frsche knnen nicht fliegen
$49.99
Soziologie in weltbrgerlicher Absicht
$69.99
Identity and Upbringing in South Asian Muslim Families
$89.99
Heroes on the Side
$5.24
Risikomanagement im Unternehmen
$44.99
Teil I: Referate
$69.99
Objektorientierte Entwicklung betrieblicher Informationssysteme
$59.99
