Stefano Berardi
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues Stefano Berardi 2009 edition

Name: Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues
Price: 55.99 USD
Availability: OutOfStock
Author: Stefano Berardi

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues

Stefano Berardi

2009 edition

These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.

331 pages, Illustrations

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	19 de junio de 2009
ISBN13	9783642024436
Editores	Springer-Verlag Berlin and Heidelberg Gm
Género	Aspects (Academic) > Science / Technology Aspects
Páginas	323
Dimensiones	155 × 235 × 20 mm · 498 g
Lengua	Francés
Editor	Berardi, Stefano
Editor	Damiani, Ferruccio
Editor	De Liguoro, Ugo