Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues - J Filliatre - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540314288 - 25 de enero de 2006
En caso de que portada y título no coincidan, el título será el correcto

J Filliatre
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues 2006 edition

Precio
Mex$ 1.150
sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 18 de ago.
Recibe notificaciones sobre nuevos lanzamientos de J Filliatre

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

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed;

280 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de enero de 2006
ISBN13 9783540314288
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 280
Dimensiones 155 × 235 × 15 mm   ·   408 g
Lengua Francés  
Editor Filliatre, Jean-Christophe
Editor Paulin-Mohring, Christine
Editor Werner, Benjamin

Más del mismo editor

Ver todo de J Filliatre ( Ej. Paperback Book )