Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Certified Programs and Proofs

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

Language EnglishEnglish
Book Paperback
Book Certified Programs and Proofs Chris Hawblitzel
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
? points 125 b
51.62 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

EFT - svoboda emocí Ramona B. Wagner / Book Paperback
common.buy 3.83 €
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Book Sheet
common.buy 20.80 €
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Book Paperback
common.buy 23.53 €
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Book Paperback
common.buy 32.02 €
Russland ALS Autoritares System Kay Renner / Book Paperback
common.buy 15.25 €
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Book Paperback
common.buy 16.16 €
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Book Paperback
common.buy 34.95 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Certified Programs and Proofs
Author Chris Hawblitzel, Dale Miller
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 305
EAN 9783642353079
ISBN 364235307X
Libristo code 01662768
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 486
Dimensions 155 x 235 x 18

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Book Hardback
common.buy 72.43 €
Hex and Hexability Kate Johnson / Book Paperback
common.buy 9.69 €
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Book Paperback
common.buy 24.04 €
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Book Paperback
common.buy 30.70 €
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Book Paperback
common.buy 13.33 €
Who Was Che Guevara? Ellen Labrecque / Book Paperback
common.buy 6.25 €
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Book Paperback
common.buy 55.15 €
Top
The Scarlet Letter Nathaniel Hawthorne / Book Hardback
common.buy 20.20 €
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Book Paperback
common.buy 17.37 €
Little Black Songbook Tom Waits / Book Book
common.buy 15.75 €
Dark Tort Diane Mott Davidson / Book Paperback
common.buy 8.17 €
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Book Paperback
common.buy 70.51 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?