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.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Book Paperback
common.buy 50.48 €
Top
Aquascaping Oliver Knott / Book Hardback
common.buy 26.90 €
Das Neue Testament Heinrich Ogilvie / Book Hardback
common.buy 24.17 €
Das kleine Gespenst Otfried Preußler / Book Hardback
common.buy 10.92 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Book Paperback
common.buy 22.86 €
L'Era Cenozoica Giancarlo Varnier / E-book Adobe ePub DRM
common.buy 3.33 €
Coming soon
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Book Paperback
common.buy 55.64 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Book Paperback
common.buy 18.00 €
Krutosť Nicola Lagioia / Book Hardback
common.buy 18.71 €
La poma Iwamura Kazuo / Book Paperback
common.buy 16.28 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Book Paperback
common.buy 20.02 €
Les Élections Et Les Cahiers de Paris En 1789: Paris Hors Les Murs (Volume Publié Sous Le Patronage Du Conseil Général de la Seine Charles-Louis Chassin / Book Paperback
common.buy 29.74 €
Adrian Flemming Marinus Lester Cerdic / Book Paperback
common.buy 10.92 €
Zásah Šípem Iva Šípová / Book Hardback
common.buy 7.17 €
Aleman para ninos: Mi Papa Es El Mejor: Libro infantil ilustrado espa?ol-alemán (Edición bilingüe), bilingue aleman espa?ol, Aleman Libro Sujatha Lalgudi / Book Paperback
common.buy 10.11 €
Top
Save Us Mona Kasten / Book Paperback
common.buy 11.93 €
24 Ore Marco Bartiromo / Book Paperback
common.buy 10.82 €
Estimular y aprender JESUS JARQUE GARCIA / Book Paperback
common.buy 24.37 €
Kunst - Das andere Memo-Spiel / Game/Toy Game
common.buy 11.63 €

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

Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Book Paperback
common.buy 51.69 €
English Dictionary Essential Collins Dictionaries / Book Hardback
common.buy 11.83 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Book Paperback
common.buy 8.59 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Book Paperback
common.buy 21.24 €
The Nightmare Feast Andrew Klavan / Book Hardback
common.buy 24.58 €
Affordable
Hand on the Wall Maureen Johnson / Book Hardback
common.buy 7.68 €
Narrative of a Blockade-Runner J WILKINSON / Book Hardback
common.buy 38.34 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 31.66 €
Benjamin Banneker Katie Marsico / Book Paperback
common.buy 12.03 €
Queen in 3-D Brian May / Book Hardback
common.buy 34.09 €
Sinkholes / Book Hardback
common.buy 33.08 €
India's True Voice Alvin Boyd Kuhn / Book Paperback
common.buy 35.40 €
Euphony The Sound of Life Daniel Levy / Book Paperback
common.buy 28.32 €
Big Apple Patricia Mackin / Book Paperback
common.buy 14.86 €
Top
Star Wars: Darth Maul Cullen Bunn / Book Paperback
common.buy 15.77 €
Coming soon
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Book Hardback
common.buy 21.04 €
Ministry of Disturbance and Other SF H. Beam Piper / Book Paperback
common.buy 14.46 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Book Paperback
common.buy 22.35 €
Play Dates Leslie Sara Carroll / Book Paperback
common.buy 13.14 €
Top
Fragile World Kerby Rosanes / Book Paperback
common.buy 10.82 €
Rewiring Democracy Bruce Schneier / E-book Adobe ePub DRM
common.buy 31.66 €
High Strength Steels Mingxin Huang / Book Paperback
common.buy 261.54 €
Top
ISE Fundamentals of Aerodynamics John Anderson / Book Paperback
common.buy 70.92 €
Rebellion in Patagonia Osvaldo Bayer / E-book Adobe ePub DRM
common.buy 25.08 €

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