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

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 9 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

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

Mere med samme udgiver

Ver todo de J Filliatre ( Ej. Paperback Book )