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

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