Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - 10 de novembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2005 edition

Werner Kluge

Preço
元 771
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 17 - 23 de out
Adicione à sua lista de desejos do iMusic

Também disponível como:

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2005 edition

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.


384 pages, 89 black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 10 de novembro de 2010
ISBN13 9783642059384
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 384
Dimensões 155 × 235 × 21 mm   ·   557 g
Idioma English  

Mostrar tudo

Mais por Werner Kluge