«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Types for Proofs and Programs

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

Idioma InglésInglés
Libro Tapa blanda
Libro Types for Proofs and Programs Stefano Berardi
Código Libristo: 01649961
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

The Wiener Schnitzel Love Book! Florian Weitzer / Libro Tapa dura
common.buy 32.79 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Libro Tapa blanda
common.buy 34.29 €
Quitter l'ouest Robin / Libro Tapa blanda
common.buy 19.59 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Libro Tapa blanda
common.buy 12.19 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Libro Tapa blanda
common.buy 7.39 €
Robota jak każda inna Alex W. Inker / Libro Tapa blanda
common.buy 16.39 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Libro Tapa blanda
common.buy 28.59 €
K jak Klara 7 - Tak mi przykro Knudsen / Audiolibro MP3
common.buy 2.49 €
Idées reçues sur le Royaume-Uni Fourton / Libro Tapa blanda
common.buy 17.19 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Libro Tapa blanda
common.buy 79.19 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Libro Tapa blanda
common.buy 14.99 €
Fútbol africano II Librofutbol. Com / Libro Tapa blanda
common.buy 23.89 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio CD de audio
common.buy 9.49 €
Próximamente
Das Erbe der Macht Andreas Suchanek / Libro Tapa blanda
common.buy 78.59 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Libro Tapa dura
common.buy 26.79 €
Faeries 13 Special Harry Potter Revue / Libro Tapa blanda
common.buy 12.89 €
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Libro Tapa blanda
common.buy 18.49 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Juego/Juguete Juguete
common.buy 14.69 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Libro Tapa blanda
common.buy 19.09 €
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Libro Tapa dura
common.buy 8.09 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Types for Proofs and Programs
Autor Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 323
EAN 9783642024436
ISBN 3642024432
Código Libristo 01649961
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 510
Dimensiones 155 x 235 x 19

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Libro Tapa blanda
common.buy 56.59 €
Torrent des passions R V RONI SAINT-CYR / Libro Tapa blanda
common.buy 23.89 €
Anesthesiology Linda S. Aglio / Libro Tapa blanda
common.buy 187.89 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Libro Tapa blanda
common.buy 46.59 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Libro Tapa blanda
common.buy 12.69 €
Algebra ROBERT SHUTLER / Libro Tapa blanda
common.buy 42.59 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Libro Tapa blanda
common.buy 15.59 €
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 / Libro Tapa blanda
common.buy 10.49 €
Born in the year 1970 Christoph Dappen / Libro Tapa blanda
common.buy 8.49 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Libro Tapa dura
common.buy 1 221.69 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Libro Tapa blanda
common.buy 25.09 €
Immunometabolism Suresh Mishra / Libro Tapa blanda
common.buy 132.69 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Libro Tapa blanda
common.buy 26.89 €
Popular
The Wolf and the Crown of Blood MAY ELIZABETH / Libro Tapa dura
common.buy 27.39 €
The Originals: The Complete Series / Video DVD
common.buy 86.99 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio CD de audio
common.buy 30.39 €
Journey to Now Suzanne Taylor-Torres / Libro Tapa blanda
common.buy 13.49 €
Hedy Lamarr and a Secret Communication System Trinna Robbins / Libro Tapa blanda
common.buy 8.09 €
Italian Americans Before Mass Migration JEROME KRASE / Libro Tapa dura
common.buy 30.49 €
Art of Falconry Patrick Morel / Libro Tapa dura
common.buy 33.79 €
Zimbabwe Parker / Libro Tapa dura
common.buy 32.79 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Libro Tapa dura
common.buy 60.39 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Libro Tapa blanda
common.buy 20.79 €
Triumph of the Moon Ronald Hutton / Libro Tapa blanda
common.buy 33.99 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?