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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 829 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Book Paperback
common.buy 8 059 Ft
Pluspunkte Beruf - A2-B1+ Joachim Becker / Book Paperback
common.buy 10 191 Ft
L'Era Cenozoica Giancarlo Varnier / E-book Adobe ePub DRM
common.buy 1 156 Ft
Das kleine Gespenst Otfried Preußler / Book Hardback
common.buy 4 218 Ft
Das Neue Testament Heinrich Ogilvie / Book Hardback
common.buy 9 390 Ft
Top
Aquascaping Oliver Knott / Book Hardback
common.buy 10 384 Ft
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 21 422 Ft
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Book Paperback
common.buy 17 872 Ft
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Book Paperback
common.buy 7 069 Ft
Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Book Paperback
common.buy 6 949 Ft
Krutosť Nicola Lagioia / Book Hardback
common.buy 6 631 Ft
La poma Iwamura Kazuo / Book Paperback
common.buy 5 738 Ft
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 11 333 Ft
Adrian Flemming Marinus Lester Cerdic / Book Paperback
common.buy 4 204 Ft
Zásah Šípem Iva Šípová / Book Hardback
common.buy 2 528 Ft
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 3 868 Ft
Top
Save Us Mona Kasten / Book Paperback
common.buy 4 642 Ft
24 Ore Marco Bartiromo / Book Paperback
common.buy 4 117 Ft
Kunst - Das andere Memo-Spiel / Game/Toy Game
common.buy 4 513 Ft
Estimular y aprender JESUS JARQUE GARCIA / Book Paperback
common.buy 8 616 Ft

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 63 742 Ft
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Book Paperback
common.buy 19 829 Ft
India's True Voice Alvin Boyd Kuhn / Book Paperback
common.buy 13 493 Ft
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Book Paperback
common.buy 8 077 Ft
The Nightmare Feast Andrew Klavan / Book Hardback
common.buy 9 565 Ft
Affordable
Hand on the Wall Maureen Johnson / Book Hardback
common.buy 2 722 Ft
Narrative of a Blockade-Runner J WILKINSON / Book Hardback
common.buy 14 750 Ft
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 12 047 Ft
Benjamin Banneker Katie Marsico / Book Paperback
common.buy 4 628 Ft
Queen in 3-D Brian May / Book Hardback
common.buy 13 276 Ft
English Dictionary Essential Collins Dictionaries / Book Hardback
common.buy 4 467 Ft
Sinkholes / Book Hardback
common.buy 12 530 Ft
Euphony The Sound of Life Daniel Levy / Book Paperback
common.buy 10 836 Ft
Big Apple Patricia Mackin / Book Paperback
common.buy 5 664 Ft
Top
Star Wars: Darth Maul Cullen Bunn / Book Paperback
common.buy 6 074 Ft
Manic Botanic Irina Vinnik / Book Paperback
common.buy 4 978 Ft
Ministry of Disturbance and Other SF H. Beam Piper / Book Paperback
common.buy 5 563 Ft
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Book Paperback
common.buy 7 902 Ft
Play Dates Leslie Sara Carroll / Book Paperback
common.buy 5 084 Ft
Top
Fragile World Kerby Rosanes / Book Paperback
common.buy 4 264 Ft
Rewiring Democracy Bruce Schneier / E-book Adobe ePub DRM
common.buy 11 172 Ft
High Strength Steels Mingxin Huang / Book Paperback
common.buy 98 381 Ft
Top
ISE Fundamentals of Aerodynamics John Anderson / Book Paperback
common.buy 27 192 Ft
Rebellion in Patagonia Osvaldo Bayer / E-book Adobe ePub DRM
common.buy 8 878 Ft

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?