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
Designtheorie
$17.99
Kooperative Jugendhilfeplanung
$59.99
The Link Between Inflammation and Cancer
$89.00
Why Grundnorm?
$169.99
Intersections of Sport and Society in Creative Writing
$109.00
The Roles of the United States, Russia and China in the New World Order
$74.99
Wage Rage for Equal Pay
$129.99
PAWS: Gabby Gets it Together
$9.74
Zur forensischen Psychiatrie geistig gesunder Hirnbeschdigter
$59.99
Performance Engineering
$39.99
Nitrogen in Soils of China
$84.99
Reconciliation Policy in Germany 1998-2008
$54.99
Women on Corporate Boards of Directors
$109.99
Light-Driven Alignment
$109.99
Computational Science and High Performance Computing II
$169.00
Leitfaden fr biologische bungen
$59.99
Akademisierung der Erzieherinnenausbildung?
$59.99
Heliothis: Research Methods and Prospects
$84.99
Foundation Web Design
$29.99
Die dynamischen Eigenschaften hydraulischer Vorschubmotoren fr Werkzeugmaschinen
$59.99
Kundenorientierte Unternehmensfhrung
$59.99
Data-Driven Scheduling of Semiconductor Manufacturing Systems
$179.99
Einfluss von Fhrung auf die Kundenzufriedenheit und die Budgeteinhaltung in vollstationren Pflegee
$74.99
The Statesman's Year-Book 1973-74
$99.00
Exploding Wires
$109.99
Expert C# 2005 Business Objects
$59.99
World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany
$329.99
The Politics of Postmodernity
$84.99
Smart Wormlike Micelles
$39.99
Allokation der Eigentumsrechte an Unternehmensberatungen
$69.99
Selbstbild und Objektbeziehungen bei Depressionen
$64.99
Proceedings of 5th International Conference on Civil Engineering and Architecture
$279.99
Beschleuniger in der Groforschung
$69.99
Bio-Based Materials as Applicable, Accessible, and Affordable Healthcare Solutions
$39.99
Academic Flying and the Means of Communication
$49.99
MOS-Feldeffekttransistoren
$64.99
Approaching Human Performance
$84.99
Biometric Authentication
$54.99
Wilde Erdbeeren auf Wolke Neun
$34.99
Ethics and Sustainability in Accounting and Finance, Volume II
$159.99
