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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Types for Proofs and Programs

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Stefano Berardi
Libristo code: 01649961
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Full description
? points 132 b
54.48 €
106.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top Coming soon
MINIX Music: Michael Jackson #117 Game/Toy Toy
common.buy 17.09 € 33.42 лв
The Wiener Schnitzel Love Book! Florian Weitzer / Book Hardback
common.buy 31.33 € 61.28 лв
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Book Paperback
common.buy 7.09 € 13.87 лв
Quitter l'ouest Robin / Book Paperback
common.buy 20.04 € 39.20 лв
Arbeiter, Unternehmer, Professioneller Manfred Stock / Book Paperback
common.buy 76.34 € 149.31 лв
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Book Paperback
common.buy 32.11 € 62.80 лв
Robota jak każda inna Alex W. Inker / Book Paperback
common.buy 15.69 € 30.69 лв
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Book Paperback
common.buy 27.50 € 53.78 лв
K jak Klara 7 - Tak mi przykro Knudsen / Audiobook MP3
common.buy 2.53 € 4.95 лв
Idées reçues sur le Royaume-Uni Fourton / Book Paperback
common.buy 17.61 € 34.43 лв
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Book Paperback
common.buy 11.70 € 22.88 лв
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Book Paperback
common.buy 14.81 € 28.96 лв
Trötsch Meine weltliebste Freundin Überraschungsgrüße / Book Paperback
common.buy 9.58 € 18.73 лв
Fútbol africano II Librofutbol. Com / Book Paperback
common.buy 23.20 € 45.37 лв
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio Audio CD
common.buy 9.16 € 17.92 лв
Auxiliar Administrativo de la Diputación Provincial de Jaén. Temario volumen 2 Editores / Book Paperback
common.buy 47.49 € 92.89 лв
Coming soon
Das Erbe der Macht Andreas Suchanek / Book Paperback
common.buy 75.41 € 147.49 лв
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Book Hardback
common.buy 25.63 € 50.14 лв
Faeries 13 Special Harry Potter Revue / Book Paperback
common.buy 13.00 € 25.42 лв
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Book Paperback
common.buy 18.80 € 36.76 лв
Aufbewahrungsbox fürs Auto aus Kunststoff / Game/Toy Toy
common.buy 14.34 € 28.05 лв
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Book Paperback
common.buy 18.43 € 36.05 лв
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Book Hardback
common.buy 8.64 € 16.91 лв

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

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 Types for Proofs and Programs
Author Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 323
EAN 9783642024436
ISBN 3642024432
Libristo code 01649961
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 510
Dimensions 155 x 235 x 19

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 > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Book Paperback
common.buy 54.48 € 106.56 лв
Born in the year 1970 Christoph Dappen / Book Paperback
common.buy 8.23 € 16.10 лв
Anesthesiology Linda S. Aglio / Book Paperback
common.buy 180.82 € 353.64 лв
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Book Paperback
common.buy 49.82 € 97.45 лв
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Book Paperback
common.buy 12.12 € 23.70 лв
Algebra ROBERT SHUTLER / Book Paperback
common.buy 40.19 € 78.60 лв
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Book Paperback
common.buy 15.12 € 29.57 лв
GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly / Book Paperback
common.buy 10.15 € 19.85 лв
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Book Paperback
common.buy 26.00 € 50.85 лв
Torrent des passions R V RONI SAINT-CYR / Book Paperback
common.buy 23.15 € 45.27 лв
Immunometabolism Suresh Mishra / Book Paperback
common.buy 127.72 € 249.81 лв
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Book Paperback
common.buy 24.60 € 48.11 лв
Astronomy For Beginners Sally R Ball / Book Paperback
common.buy 11.44 € 22.38 лв
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Book Paperback
common.buy 20.09 € 39.30 лв
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Book Hardback
common.buy 1 206.54 € 2 359.79 лв
Epistemic Paternalism Kristoffer Ahlstrom Vij / Book Hardback
common.buy 61.22 € 119.73 лв
Triumph of the Moon Ronald Hutton / Book Paperback
common.buy 34.18 € 66.85 лв
How To...Football DK / Book Hardback
common.buy 9.27 € 18.12 лв
Napoleon Bonaparte: England's Prisoner Frank Giles / Book Paperback
common.buy 28.74 € 56.21 лв
The Originals: The Complete Series / Video DVD
common.buy 86.34 € 168.87 лв
Zimbabwe Parker / Book Hardback
common.buy 29.57 € 57.83 лв
The Wolf and the Crown of Blood MAY ELIZABETH / Book Hardback
common.buy 23.15 € 45.27 лв
Art of Falconry Patrick Morel / Book Hardback
common.buy 50.55 € 98.86 лв
Italian Americans Before Mass Migration JEROME KRASE / Book Hardback
common.buy 29.21 € 57.13 лв

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?