Copied Certified Programs and Proofs
Certified Programs and Proofs
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.
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
Wireless Localization Techniques
$169.99
Human Missions to Outer Space (A True Book: Space Exploration)
$5.99
Essential Mathematics for Undergraduates
$64.99
Societal Impact of Headache
$109.99
Fantasy Film Post 9/11
$54.99
Probiotic Research in Therapeutics
$109.99
Applied Multivariate Statistics with R
$49.99
Ethical Intuitionism
$84.99
Das BDM-Werk Glaube und Schnheit
$74.99
Vasopressin
$39.99
Stakeholder-Dialoge fr unternehmerische Nachhaltigkeit
$39.99
Kontrolle und Revision bei automatischer Datenverarbeitung
$59.99
Orthopdie des Sitzens
$99.99
Whiteheads Philosophy of Organism
$39.99
Ill-Posed Problems: Theory and Applications
$54.99
The Lysenko Controversy as a Global Phenomenon, Volume 2
$109.99
Bioinformatics Research and Applications
$89.99
Requirements Engineering: Laying a Firm Foundation
$129.99
Modernism and Eugenics
$39.99
New Opportunities for Software Reuse
$139.00
Die Lokomotiven der Chinesischen Eisenbahnen
$49.99
Deutscher Anaesthesiekongre 1982 Freie Vortrge
$69.99
Tumours I. Organic Diseases
$54.99
Unterrichtsentwicklung macht Schule
$69.99
Nocturnal Cooling Technology for Building Applications
$54.99
Multisensorik im stationren Handel
$69.99
Principles of Applied Clinical Chemistry
$109.99
Systemtransformation
$74.99
Advances in Natural, Human-Made, and Coupled Human-Natural Systems Research
$129.99
The Organizational Form of Family Business
$129.00
berlebens- und Wiederbelebungszeit von Gehirn, Herz, Leber, Niere nach Ischaemie und Anoxie
$59.99
Die IT-Fabrik
$19.99
The Dilemma of Boundaries
$109.99
Advanced Vibrations
$89.00
Moonbear: Bear's Bargain
$5.21
Structural Sensitivity Analysis and Optimization 2
$129.00
CT of the Heart
$199.99
Einfhrung in die Technische Informatik
$64.99
Grundzge der Investitions- und Finanzierungstheorie
$69.99
Koreas Middle Power Diplomacy
$129.99
