Code: 01662768

Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662768
Price: 51.62 EUR
Availability: InStock
Author: Chris Hawblitzel
ISBN: 9783642353079

by Chris Hawblitzel, Dale Miller

Language: English
Binding: Paperback
Number of pages: 305
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
More about this

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Scarlet Letter
18.88 € -25 %
Buy
Pearson Edexcel International GCSE (9-1) Business Student Book
55.15 €
Buy
EFT - svoboda emocí
3.32 € -18 %
Buy
Hex and Hexability
9.69 € -29 %
Buy
Little Black Songbook
14.74 € -25 %
Buy
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure
12.72 € -6 %
Buy
Dark Tort
7.67 € -26 %
Buy
Who Was Che Guevara?
5.85 € -25 %
Buy
Die verfassungsrechtliche Grundordnung als Rechtsproblem
23.53 €
Buy
Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations
72.43 €
Buy
Understanding Language Teaching: Reasoning in Action
70.51 €
Buy
Sterben alter Menschen in der modernen Gesellschaft
16.16 € -10 %
Buy
Enzimas Fibroliticas de Agaricus bisporus para rumiantes
32.02 € -14 %
Buy
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD
34.95 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

51.62 €

Full title: Certified Programs and Proofs
Subtitle: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Author: Chris Hawblitzel, Dale Miller
Language: English
Binding: Paperback
Number of pages: 305
EAN: 9783642353079
ISBN: 364235307X
ID: 01662768
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 486 g
Dimensions: 235 × 155 × 18 mm
Date of publishing: 01. November 2012