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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Resilient Urban Environments
$199.99
Intensive psychodynamische Kurzzeittherapie nach Davanloo
$39.99
Oculoplastics and Orbit
$159.00
The Road to Independence
$39.99
Versicherungswesen
$59.99
Mathematik fr Mediziner und Biologen
$59.99
Investigating Mechanical Failures
$249.99
Nachrichten-Journalismus
$34.99
Gewalt an Schulen
$64.99
Die Unabhngigkeit des Abschlussprfers
$89.99
Sustainable Environment
$199.99
R.E.A.L. Base Set B Grade 8 (10-Pack)
$369.99
A Practical Guide to Bio-inspired Design
$159.99
Die Staumauern
$59.99
Machine Learning and Data Mining for Emerging Trend in Cyber Dynamics
$199.99
Sport Business in the Global Marketplace
$54.99
Three Great Tsunamis: Lisbon (1755), Sumatra-Andaman (2004) and Japan (2011)
$39.99
Confluence of Artificial Intelligence and Robotic Process Automation
$179.99
Osmoregulation in Birds
$84.99
Auf Leben und Tod
$49.99
Algebra of Communicating Processes
$54.99
Higher Education: Handbook of Theory and Research
$169.99
Praktisches Handbuch der gesamten Schweitechnik
$64.99
Hong Kong and the Asylum-Seekers from Vietnam
$109.99
Die Kriegschirurgie des Jahres 1917
$59.99
Physiologie, Pflege und Ernhrung des Neugeborenen einschlielich der Ernhrungsstrungen der Brustk
$84.99
Applied Computer Sciences in Engineering
$79.99
Block Designs: A Randomization Approach
$109.99
Untersuchungen ber das Spritzlackieren im elektrostatischen Hochspannungsfeld
$84.99
Autonomy Requirements Engineering for Space Missions
$109.99
The Right to Home
$79.99
Japanese and Western Bioethics
$169.99
Introduction to the Laplace Transform
$54.99
Controller Design for Distributed Parameter Systems
$139.99
29. Hmophilie-Symposion
$69.99
Physikalische Problemstellungen und bungsaufgaben mit Lsungen fr Pharmazeuten, Chemiker und Biolo
$44.99
Rethinking Children's Citizenship
$109.99
The Cocktail Workshop - An Essential Guide to Classic Drinks and How to Make Them Your Own by Steven Grasse
$27.50
German-Japanese Interchange of Data Analysis Results
$84.99
Model and Data Engineering
$74.99
