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
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

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

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  

Mere med samme udgiver

Ver todo de S Berardi ( Ej. Paperback Book )