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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Language EnglishEnglish
Book Paperback
Book Certified Programs and Proofs Jean-Pierre Jouannaud
Libristo code: 01659274
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Full description
? points 125 b
51.02 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Herz Und Kreislauf Walter Bleifeld / Book Paperback
common.buy 95.21 €
Top
Save Us Mona Kasten / Book Paperback
common.buy 11.80 €
Erwahlungstheologie und Universalismus im Alten Testament Peter Altmann / Book Hardback
common.buy 117.86 €
Kunst - Das andere Memo-Spiel / Game/Toy Game
common.buy 11.50 €
Zásah Šípem Iva Šípová / Book Hardback
common.buy 7.09 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Book Paperback
common.buy 21.30 €
Krutosť Nicola Lagioia / Book Hardback
common.buy 18.40 €
Das kleine Gespenst Otfried Preußler / Book Hardback
common.buy 10.80 €
BLUEY. LIBRO DE CARTON - BLUEY SE DIVIERTE (EDICION EN ESPAÑOL) BLUEY / Book Hardback
common.buy 12.80 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Book Paperback
common.buy 28.30 €
Die Augen schließen und sehen worum es geht Florian Söll / Book Paperback
common.buy 9.50 €

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. §The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

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 Jean-Pierre Jouannaud, Zhong Shao
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 401
EAN 9783642253782
ISBN 3642253784
Libristo code 01659274
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 633
Dimensions 155 x 235 x 23

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

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Book Hardback
common.buy 176.03 €
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Book Paperback
common.buy 51.02 €
Called to Care James P Rousey / Book Paperback
common.buy 14.70 €
Sinkholes / Book Hardback
common.buy 32.71 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Book Paperback
common.buy 8.50 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Book Paperback
common.buy 21.00 €
The Nightmare Feast Andrew Klavan / Book Hardback
common.buy 24.30 €
Hand on the Wall Maureen Johnson / Book Hardback
common.buy 16.00 €
Narrative of a Blockade-Runner J WILKINSON / Book Hardback
common.buy 37.91 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 31.31 €
Benjamin Banneker Katie Marsico / Book Paperback
common.buy 11.89 €
Top
Queen in 3-D Brian May / Book Hardback
common.buy 31.30 €
English Dictionary Essential Collins Dictionaries / Book Hardback
common.buy 11.69 €
Number and Pattern in the Eighteenth-Century Novel Douglas Brooks / Book Hardback
common.buy 172.93 €
belgian shepherd malinois Francois Kiesgen / Book Paperback
common.buy 14.70 €
India's True Voice Alvin Boyd Kuhn / Book Paperback
common.buy 35.01 €
Euphony The Sound of Life Daniel Levy / Book Paperback
common.buy 28.01 €
Big Apple Patricia Mackin / Book Paperback
common.buy 14.70 €
Educational Laws of Virginia: The Personal Narrative of Mrs. Margaret Douglass, a Southern Woman, Who Was Imprisoned for One Month in the Common Jai Margaret Douglass / Book Paperback
common.buy 18.00 €
Top
Star Wars: Darth Maul Cullen Bunn / Book Paperback
common.buy 13.40 €
Manic Botanic Irina Vinnik / Book Paperback
common.buy 12.90 €
Top
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Book Hardback
common.buy 34.91 €
1 & 2 Timothy & Titus TOWNER PHILIP H / Book Paperback
common.buy 17.30 €
Rewiring Democracy Bruce Schneier / E-book Adobe ePub DRM
common.buy 31.41 €

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?