Conte aos seus amigos sobre este item:
Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Werner Kluge 2005 edition
Preço
¥ 20.478,14
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 15 - 24 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.
404 pages, 89 black & white illustrations, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 18 de fevereiro de 2005 |
| Data do lançamento original | 2004 |
| ISBN13 | 9783540211464 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 384 |
| Dimensões | 155 × 235 × 23 mm · 712 g |
Mostrar tudo
Mais por Werner Kluge
Ver tudo de Werner Kluge ( por exemplo Paperback Book e Hardcover Book )