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

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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

The Future of Work in the United States

$69.99

Distributed Applications and Interoperable Systems

$54.99

Neurobiology of Decision-Making

$159.99

An Introduction to the Physical Chemistry of Food

$64.99

Vorproben und Trennungen der Kationen und Anionen

$59.99

Information Security and Privacy

$99.99

The Tasks of Contemporary Philosophy / Die Aufgaben der Philosophie in der Gegenwart

$59.99

Economics As Discourse

$109.99

Chromatin

$109.00

Entwicklung und Anwendung mathematischer Modelle fr die Erfassung der Strmungsvorgnge in gasbehei

$59.99

Citizenship and Migration in the Era of Globalization

$109.99

The Castle of Tangled Magic (Hardcover)

$13.49

The Sailing Mind

$109.00

Das steuerlich optimale Haus- und Wohnungseigentum

$59.99

Sources from the Dawn of the Great Witch Hunt in Lower Navarre, 1370

$49.99

Contemporary Controversies in Catholic Bioethics

$199.99

Fatale Fehler

$44.99

Strafrechtlicher Verfall und Rckgewinnungshilfe bei der Insolvenz des Tters

$39.99

Soziologie und Politische Bildung

$59.99

Real-Time Monitoring of Cancer Cell Metabolism for Drug Testing

$54.99

Single-Pollen Genotyping

$169.99

Italien

$39.99

Lie Groups and Lie Algebras III

$159.99

Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple und MapleSim

$59.99

Hooks in Popular Music

$159.99

Vermeer. The Complete Works. 40th Ed. by Karl SchAtz

$30.00

Spiel und Training im Handballtor

$17.99

Ischemic Blood Flow in the Brain

$219.99

Knowledge Discovery in Life Science Literature

$54.99

Hybrid Estimation of Complex Systems

$84.99

Go Dance!

$5.21

Developing Inclusive Mobile Apps

$54.99

Methodological Reflections on Practice Oriented Theories

$139.99

High Magnetic Fields in Semiconductor Physics II

$169.99

Comparative Aspects of Tumor Development

$39.99

Construction Productivity in the Multilayer Subcontracting System

$84.99

Very Massive Stars in the Local Universe

$84.99

Proceedings of 2021 International Top-Level Forum on Engineering Science and Technology Development

$189.00

Methodology, Epistemology, and Philosophy of Science

$219.99

Simulation von Rhrenverstrkern mit SPICE

$54.99