Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science - Hindley, J. Roger (University of Wales, Swansea) - Libros - Cambridge University Press - 9780521465182 - 31 de julio de 1997
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
$ 157,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de julio de 1997
ISBN13 9780521465182
Editores Cambridge University Press
Páginas 200
Dimensiones 236 × 159 × 23 mm   ·   452 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. De
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mas por Hindley, J. Roger (University of Wales, Swansea)

Mostrar todo

Mere med samme udgiver

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