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
9783642253799
Condition
New
Product Description

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

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

Wireless Localization Techniques

$169.99

Human Missions to Outer Space (A True Book: Space Exploration)

$5.99

Essential Mathematics for Undergraduates

$64.99

Societal Impact of Headache

$109.99

Fantasy Film Post 9/11

$54.99

Probiotic Research in Therapeutics

$109.99

Applied Multivariate Statistics with R

$49.99

Ethical Intuitionism

$84.99

Das BDM-Werk Glaube und Schnheit

$74.99

Vasopressin

$39.99

Stakeholder-Dialoge fr unternehmerische Nachhaltigkeit

$39.99

Kontrolle und Revision bei automatischer Datenverarbeitung

$59.99

Orthopdie des Sitzens

$99.99

Whiteheads Philosophy of Organism

$39.99

Ill-Posed Problems: Theory and Applications

$54.99

The Lysenko Controversy as a Global Phenomenon, Volume 2

$109.99

Bioinformatics Research and Applications

$89.99

Requirements Engineering: Laying a Firm Foundation

$129.99

Modernism and Eugenics

$39.99

New Opportunities for Software Reuse

$139.00

Die Lokomotiven der Chinesischen Eisenbahnen

$49.99

Deutscher Anaesthesiekongre 1982 Freie Vortrge

$69.99

Tumours I. Organic Diseases

$54.99

Unterrichtsentwicklung macht Schule

$69.99

Nocturnal Cooling Technology for Building Applications

$54.99

Multisensorik im stationren Handel

$69.99

Principles of Applied Clinical Chemistry

$109.99

Systemtransformation

$74.99

Advances in Natural, Human-Made, and Coupled Human-Natural Systems Research

$129.99

The Organizational Form of Family Business

$129.00

berlebens- und Wiederbelebungszeit von Gehirn, Herz, Leber, Niere nach Ischaemie und Anoxie

$59.99

Die IT-Fabrik

$19.99

The Dilemma of Boundaries

$109.99

Advanced Vibrations

$89.00

Moonbear: Bear's Bargain

$5.21

Structural Sensitivity Analysis and Optimization 2

$129.00

CT of the Heart

$199.99

Einfhrung in die Technische Informatik

$64.99

Grundzge der Investitions- und Finanzierungstheorie

$69.99

Koreas Middle Power Diplomacy

$129.99