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

Resilient Urban Environments

$199.99

Intensive psychodynamische Kurzzeittherapie nach Davanloo

$39.99

Oculoplastics and Orbit

$159.00

The Road to Independence

$39.99

Versicherungswesen

$59.99

Mathematik fr Mediziner und Biologen

$59.99

Investigating Mechanical Failures

$249.99

Nachrichten-Journalismus

$34.99

Gewalt an Schulen

$64.99

Die Unabhngigkeit des Abschlussprfers

$89.99

Sustainable Environment

$199.99

R.E.A.L. Base Set B Grade 8 (10-Pack)

$369.99

A Practical Guide to Bio-inspired Design

$159.99

Die Staumauern

$59.99

Machine Learning and Data Mining for Emerging Trend in Cyber Dynamics

$199.99

Sport Business in the Global Marketplace

$54.99

Three Great Tsunamis: Lisbon (1755), Sumatra-Andaman (2004) and Japan (2011)

$39.99

Confluence of Artificial Intelligence and Robotic Process Automation

$179.99

Osmoregulation in Birds

$84.99

Auf Leben und Tod

$49.99

Algebra of Communicating Processes

$54.99

Higher Education: Handbook of Theory and Research

$169.99

Praktisches Handbuch der gesamten Schweitechnik

$64.99

Hong Kong and the Asylum-Seekers from Vietnam

$109.99

Die Kriegschirurgie des Jahres 1917

$59.99

Physiologie, Pflege und Ernhrung des Neugeborenen einschlielich der Ernhrungsstrungen der Brustk

$84.99

Applied Computer Sciences in Engineering

$79.99

Block Designs: A Randomization Approach

$109.99

Untersuchungen ber das Spritzlackieren im elektrostatischen Hochspannungsfeld

$84.99

Autonomy Requirements Engineering for Space Missions

$109.99

The Right to Home

$79.99

Japanese and Western Bioethics

$169.99

Introduction to the Laplace Transform

$54.99

Controller Design for Distributed Parameter Systems

$139.99

29. Hmophilie-Symposion

$69.99

Physikalische Problemstellungen und bungsaufgaben mit Lsungen fr Pharmazeuten, Chemiker und Biolo

$44.99

Rethinking Children's Citizenship

$109.99

The Cocktail Workshop - An Essential Guide to Classic Drinks and How to Make Them Your Own by Steven Grasse

$27.50

German-Japanese Interchange of Data Analysis Results

$84.99

Model and Data Engineering

$74.99