
Conte aos seus amigos sobre este item:
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
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
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 |
Mais por Werner Kluge
Ver tudo de Werner Kluge ( por exemplo Paperback Book e Hardcover Book )