«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 Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Types for Proofs and Programs Stefano Berardi
Código Libristo: 01559460
Editores Springer, Berlin, noviembre 2003
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... 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

Vinda do Kaiser H H Munro (Saki) / Libro Tapa blanda
common.buy 10.69 €
Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka / Libro Tapa blanda
common.buy 4.09 €
Midnight Scandal Sex Neneko Narazaki / Libro Tapa blanda
common.buy 8.99 €

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.

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, Mario Coppo, Ferruccio Damiani
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 412
EAN 9783540221647
ISBN 3540221646
Código Libristo 01559460
Editores Springer, Berlin
Peso 600
Dimensiones 156 x 234 x 22

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 > 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 > Teoría matemática de la computación
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

Theories of Group Behavior Brian Mullen / Libro Tapa dura
common.buy 96.09 €
New Canadian Realisms Roberta Barker / Libro Tapa blanda
common.buy 29.49 €
Life on the Farm - Adventure with the Cats Dovie G. Therriault -. Bruder / Libro Tapa blanda
common.buy 17.39 €
RIGBY PM PLUS Rigby / Libro Tapa blanda
common.buy 83.79 €
The Law of Nations: Investigated in a Popular Manner: Addressed to the Farmers of the United States. William J Duane / Libro Tapa blanda
common.buy 16.39 €

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?