Copied Certified Programs and Proofs
Certified Programs and Proofs
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.
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
Advances in Structural Vibration
$329.99
Hydraulic Extrusion Presses
$54.99
ber den Begriff der industriellen Arbeit (Labour Relations and Human Relations)
$54.99
State-to-state Arbitration based on International Investment Agreements
$109.00
Antiepileptic Drugs
$129.00
The Neurology of the Elderly
$54.99
Boris Sees the Light
$5.24
Equidosimetry
$84.99
Plastic Neurosurgery
$219.99
New Waves In Political Philosophy
$54.99
Trends in Ambient Intelligent Systems
$109.99
Thunder City (A Mortal Engines Novel) (Hardcover)
$14.99
Shakespeare's Arguments with History
$109.99
Coalgebraic Methods in Computer Science
$54.99
A Genealogical Analysis of Nietzschean Drive Theory
$129.99
Mitochondria and Cell Death
$129.00
Chemical Derivatization in Analytical Chemistry
$54.99
Computer Vision -- ECCV 2010
$109.99
Advanced Technologies in Ad Hoc and Sensor Networks
$169.99
Medicine At The Border
$109.99
Berechnung von ebenen geraden Schaufelgittern in inkompressibler reibungsfreier Potentialstrmung mi
$69.99
Die Zukunft der Brgergesellschaft
$44.99
Recent Trends in Data Type Specification
$54.99
Mathematical Aspects of Network Routing Optimization
$109.99
Visualization in Scientific Computing 95
$54.99
Moral Rightness
$54.99
Direktmontage
$169.99
Sozialwissenschaftliche Suchtforschung
$59.99
The Grassmannian Variety
$79.99
Economic Sanctions and Presidential Decisions
$54.99
Methods in Protein Sequence Analysis 1986
$219.99
Anthropogeomorphology
$169.99
Fractal Geometry in Architecture and Design
$109.99
Transformationale Fhrung kompakt
$17.99
Bruchstcke der Erinnerung eines Sozialwissenschaftlers
$64.99
1,500 Color Mixing Recipes for Oil, Acrylic & Watercolor - Achieve Precise Color When Painting Landscapes, Portraits, Still Lifes, and More by William
$24.99
Klimawandel und der Untergang von Hochkulturen
$29.99
Personalfunktion in der Unternehmensleitung
$69.99
Superconducting Magnetic Energy Storage Systems (SMES) for Distributed Supply Networks
$49.99
Democratizing Candidate Selection
$109.00
