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
The Future of Work in the United States
$69.99
Distributed Applications and Interoperable Systems
$54.99
Neurobiology of Decision-Making
$159.99
An Introduction to the Physical Chemistry of Food
$64.99
Vorproben und Trennungen der Kationen und Anionen
$59.99
Information Security and Privacy
$99.99
The Tasks of Contemporary Philosophy / Die Aufgaben der Philosophie in der Gegenwart
$59.99
Economics As Discourse
$109.99
Chromatin
$109.00
Entwicklung und Anwendung mathematischer Modelle fr die Erfassung der Strmungsvorgnge in gasbehei
$59.99
Citizenship and Migration in the Era of Globalization
$109.99
The Castle of Tangled Magic (Hardcover)
$13.49
The Sailing Mind
$109.00
Das steuerlich optimale Haus- und Wohnungseigentum
$59.99
Sources from the Dawn of the Great Witch Hunt in Lower Navarre, 1370
$49.99
Contemporary Controversies in Catholic Bioethics
$199.99
Fatale Fehler
$44.99
Strafrechtlicher Verfall und Rckgewinnungshilfe bei der Insolvenz des Tters
$39.99
Soziologie und Politische Bildung
$59.99
Real-Time Monitoring of Cancer Cell Metabolism for Drug Testing
$54.99
Single-Pollen Genotyping
$169.99
Italien
$39.99
Lie Groups and Lie Algebras III
$159.99
Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple und MapleSim
$59.99
Hooks in Popular Music
$159.99
Vermeer. The Complete Works. 40th Ed. by Karl SchAtz
$30.00
Spiel und Training im Handballtor
$17.99
Ischemic Blood Flow in the Brain
$219.99
Knowledge Discovery in Life Science Literature
$54.99
Hybrid Estimation of Complex Systems
$84.99
Go Dance!
$5.21
Developing Inclusive Mobile Apps
$54.99
Methodological Reflections on Practice Oriented Theories
$139.99
High Magnetic Fields in Semiconductor Physics II
$169.99
Comparative Aspects of Tumor Development
$39.99
Construction Productivity in the Multilayer Subcontracting System
$84.99
Very Massive Stars in the Local Universe
$84.99
Proceedings of 2021 International Top-Level Forum on Engineering Science and Technology Development
$189.00
Methodology, Epistemology, and Philosophy of Science
$219.99
Simulation von Rhrenverstrkern mit SPICE
$54.99
