Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Certified Programs and Proofs

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

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Chris Hawblitzel

Dale Miller

Language

English

Book Paperback

Libristo code: 01662768

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2012

This book constitutes the refereed proceedings of the Second International Conference on Certified P... Full description

Libristo code: 01662768

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

EFT - svoboda emocí Ramona B. Wagner

Paperback

3.84 €

Nussknacker 4. Ausgabe Bayern Peter H. Maier

Sheet

20.85 €

Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper

Paperback

23.59 €

Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez

Paperback

32.10 €

Russland ALS Autoritares System Kay Renner

Paperback

15.28 €

Sterben alter Menschen in der modernen Gesellschaft Gisela Jung

Paperback

16.20 €

UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara

Paperback

35.03 €

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.