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

Up to 30 days for returns

Customers also purchased

Lehrbuch der Psychologie als Naturwissenschaft Theodor Waitz / Book Paperback
common.buy 37.46 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Book Paperback
common.buy 22.67 €
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.68 €
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Book Paperback
common.buy 46.06 €
Zásah Šípem Iva Šípová / Book Hardback
common.buy 7.18 €
New
Graphémo - CE - Thème : Le voyage autour du monde Marina Dillé / Stationery items Stationery items
common.buy 12.34 €
Krutosť Nicola Lagioia / Book Hardback
common.buy 18.72 €
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.76 €
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.12 €
Kunst - Das andere Memo-Spiel / Game/Toy Game
common.buy 11.64 €
Estimular y aprender JESUS JARQUE GARCIA / Book Paperback
common.buy 22.27 €
Top
Save Us Mona Kasten / Book Paperback
common.buy 11.94 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Book Paperback
common.buy 17.91 €
Adrian Flemming Marinus Lester Cerdic / Book Paperback
common.buy 10.93 €
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Book Paperback
common.buy 18.01 €
Top
Das kleine Gespenst Otfried Preußler / Book Hardback
common.buy 10.93 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Book Paperback
common.buy 26.01 €

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 175.78 €
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Book Paperback
common.buy 51.73 €
Euphony The Sound of Life Daniel Levy / Book Paperback
common.buy 28.34 €
Top
Hand on the Wall Maureen Johnson / Book Hardback
common.buy 9.71 €
Factory Town Jon Bassoff / Audiobook MP3
common.buy 17.41 €
Narrative of a Blockade-Runner J WILKINSON / Book Hardback
common.buy 38.37 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 31.68 €
Benjamin Banneker Katie Marsico / Book Paperback
common.buy 12.04 €
Queen in 3-D Brian May / Book Hardback
common.buy 34.12 €
English Dictionary Essential Collins Dictionaries / Book Hardback
common.buy 13.36 €
India's True Voice Alvin Boyd Kuhn / Book Paperback
common.buy 35.43 €
Big Apple Patricia Mackin / Book Paperback
common.buy 14.88 €
Top
ISE Fundamentals of Aerodynamics John Anderson / Book Paperback
common.buy 70.97 €
Manic Botanic Irina Vinnik / Book Paperback
common.buy 13.05 €
Top Coming soon
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Book Hardback
common.buy 21.46 €
Ministry of Disturbance and Other SF H. Beam Piper / Book Paperback
common.buy 14.47 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Book Paperback
common.buy 22.37 €
Play Dates Leslie Sara Carroll / Book Paperback
common.buy 13.15 €
Eyes of the World: Robert Capa, Gerda Taro, and the Invention of Modern Photojournalism / Book Paperback
common.buy 18.01 €
Top
Fragile World Kerby Rosanes / Book Paperback
common.buy 10.82 €
Northward To Santiago: A Curmudgeon On The Camino Portugués Patrick Tierney / Book Paperback
common.buy 12.85 €
Dynamic Positioning for Engineers Kumar / Book Paperback
common.buy 133.45 €
Complete Book of Scansion: Poets' and Songwriters' Guide Clement Wood / Book Paperback
common.buy 31.68 €
Top
Triathlon Bike Foundations "triathlon Taren" Gesell / Book Paperback
common.buy 10.32 €

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?