Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Lecture Notes in Computer Science - S Berardi - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540221647 - 15 de junio de 2004
En caso de que portada y título no coincidan, el título será el correcto

S Berardi
Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Lecture Notes in Computer Science

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de ago. - 17 de sep.
Recibe notificaciones sobre nuevos lanzamientos de S Berardi

Nuestros clientes opinan:

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

Aún no valorado

412 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de junio de 2004
ISBN13 9783540221647
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 412
Dimensiones 156 × 234 × 22 mm   ·   594 g
Lengua Alemán  

Más del mismo editor

Ver todo de S Berardi ( Ej. Paperback Book )