Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues - Thosten Altenkirch - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540744634 - 1 de octubre de 2007
En caso de que portada y título no coincidan, el título será el correcto

Thosten Altenkirch
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues 2007 edition

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 8 - 27 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 refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning;

272 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de octubre de 2007
ISBN13 9783540744634
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 272
Dimensiones 155 × 235 × 15 mm   ·   421 g
Lengua Francés  
Editor Altenkirch, Thorsten
Editor McBride, Conor

Mere med samme udgiver

Ver todo de Thosten Altenkirch ( Ej. Paperback Book )