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
Mex$ 1.214
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 18 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Hindley, J. Roger (University of Wales, Swansea)

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

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  

Más del mismo editor

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