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

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

30-day return policy

Customers also purchased

The Wiener Schnitzel Love Book! Florian Weitzer / Book Hardback
common.buy 11 490 Ft
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Book Paperback
common.buy 12 632 Ft
Quitter l'ouest Robin / Book Paperback
common.buy 6 919 Ft
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Book Paperback
common.buy 4 483 Ft
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Book Paperback
common.buy 2 593 Ft
Robota jak każda inna Alex W. Inker / Book Paperback
common.buy 5 468 Ft
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Book Paperback
common.buy 10 053 Ft
K jak Klara 7 - Tak mi przykro Knudsen / Audiobook MP3
common.buy 850 Ft
Idées reçues sur le Royaume-Uni Fourton / Book Paperback
common.buy 6 082 Ft
Arbeiter, Unternehmer, Professioneller Manfred Stock / Book Paperback
common.buy 27 861 Ft
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Book Paperback
common.buy 4 955 Ft
Fútbol africano II Librofutbol. Com / Book Paperback
common.buy 8 777 Ft
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio Audio CD
common.buy 3 180 Ft
Coming soon
Das Erbe der Macht Andreas Suchanek / Book Paperback
common.buy 27 597 Ft
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Book Hardback
common.buy 9 396 Ft
Faeries 13 Special Harry Potter Revue / Book Paperback
common.buy 4 529 Ft
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Book Paperback
common.buy 6 508 Ft
Aufbewahrungsbox fürs Auto aus Kunststoff / Game/Toy Toy
common.buy 4 922 Ft
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Book Paperback
common.buy 7 034 Ft
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Book Hardback
common.buy 2 990 Ft

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 19 902 Ft
Torrent des passions R V RONI SAINT-CYR / Book Paperback
common.buy 8 837 Ft
Anesthesiology Linda S. Aglio / Book Paperback
common.buy 66 042 Ft
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Book Paperback
common.buy 15 696 Ft
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Book Paperback
common.buy 4 719 Ft
Algebra ROBERT SHUTLER / Book Paperback
common.buy 15 682 Ft
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Book Paperback
common.buy 5 773 Ft
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 3 882 Ft
Born in the year 1970 Christoph Dappen / Book Paperback
common.buy 3 004 Ft
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Book Hardback
common.buy 430 938 Ft
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Book Paperback
common.buy 8 823 Ft
Immunometabolism Suresh Mishra / Book Paperback
common.buy 46 653 Ft
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Book Paperback
common.buy 9 923 Ft
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Book Hardback
common.buy 9 646 Ft
The Originals: The Complete Series / Video DVD
common.buy 30 574 Ft
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio Audio CD
common.buy 10 700 Ft
Journey to Now Suzanne Taylor-Torres / Book Paperback
common.buy 5 015 Ft
Hedy Lamarr and a Secret Communication System Trinna Robbins / Book Paperback
common.buy 3 004 Ft
Italian Americans Before Mass Migration JEROME KRASE / Book Hardback
common.buy 11 287 Ft
Art of Falconry Patrick Morel / Book Hardback
common.buy 11 841 Ft
Zimbabwe Parker / Book Hardback
common.buy 12 091 Ft
Epistemic Paternalism Kristoffer Ahlstrom Vij / Book Hardback
common.buy 21 311 Ft
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Book Paperback
common.buy 7 682 Ft
Triumph of the Moon Ronald Hutton / Book Paperback
common.buy 12 502 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