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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Linux-Unix-Kurzreferenz
$19.99
Corporate Sustainability
$169.99
Modern Techniques of Rice Crop Production
$169.00
Cryptographic Hardware and Embedded Systems -- CHES 2011
$54.99
Entscheidungstheorie I
$54.99
Market Versus Society
$84.99
Z=19-83
$549.99
Diagrammatic Representation and Inference
$44.99
Linguistic Ethnography
$39.99
Der Einsatz von Entscheidungsgremien
$69.99
Universal Studios Monsters - A Legacy of Horror by Michael Mallory
$45.00
Sexualitt und Herrschaft in Organisationen
$69.99
The Complete Guide to Stress Management
$54.99
Intelligent Systems and Applications
$249.99
Radiology of the Female Pelvic Organs
$84.99
Z = 37- 62
$549.99
The Economy of South Asia
$139.99
Traders at Work
$37.99
Rechenwege fr die Multiplikation und ihre Umsetzung
$69.99
ESD Design and Analysis Handbook
$109.99
Rassismus in Deutschland
$54.99
Volcanic Debris Avalanches
$199.99
Advanced REIT Portfolio Optimization
$39.99
Logics in Artificial Intelligence
$39.99
Arbeiterklasse und Volksgemeinschaft
$54.99
Business-Impact-Management von Informationstechnologie im Unternehmen
$59.99
Backstage Leadership
$44.99
Endorphins in Mental Health Research
$84.99
Die Anfnge der literarischen Avantgarde in Deutschland ber Anverwandlung und Abwehr des italienisc
$84.99
Playing to the Crowd
$54.99
Handbook for Management of Threats
$199.99
Microbial Infections
$39.99
E-Voting and Identity
$39.99
Childrens Logical and Mathematical Cognition
$39.99
Critical Care Sedation
$99.99
Tight Junctions in Cancer Metastasis
$169.99
The Blue Zones Secrets for Living Longer:Lessons From the Healthiest Places on EarthBook Official shopDisney
$32.50
Understanding the Neurotransmitters: Key to the Workings of the Brain
$109.99
Geometry of CR-Submanifolds
$54.99
Modern Trends in Applied Aquatic Ecology
$129.00
