Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science - Hindley, J. Roger (University of Wales, Swansea) - Libros - Cambridge University Press - 9780521054225 - 21 de enero de 2008
En caso de que portada y título no coincidan, el título será el correcto

Hindley, J. Roger (University of Wales, Swansea)
Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science

Precio
$ 67,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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

También disponible como:

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

200 pages, 10 b/w illus. 1 table

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de enero de 2008
ISBN13 9780521054225
Editores Cambridge University Press
Páginas 200
Dimensiones 154 × 227 × 13 mm   ·   310 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Hindley, J. Roger (University of Wales, Swansea) ( Ej. Hardcover Book y Paperback Book )