Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Certified Programs and Proofs

Certified Programs and Proofs

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319035451
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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