Pastāsti draugiem par šo preci:
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
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 10. novembris |
| ISBN13 | 9783642059384 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 384 |
| Izmēri | 155 × 235 × 21 mm · 557 g |
| Valoda | Angļu |
Vairāk no Werner Kluge
Rādīt visuMere med samme udgiver
Skatīt visus Werner Kluge ( piem., Paperback Book un Hardcover Book )