Conte aos seus amigos sobre este item:
Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Werner Kluge Softcover reprint of hardcover 1st ed. 2005 edition
Preço
£ 85,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 11 - 19 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
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
Werner Kluge
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 | Inglês |
Mostrar tudo
Mais por Werner Kluge
Ver tudo de Werner Kluge ( por exemplo Paperback Book e Hardcover Book )