Fortæl dine venner om denne vare:
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
Pris
₺ 5.645
Bestilles fra fjernlager
Forventes klar til forsendelse 11. - 17. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 10. november 2010 |
| ISBN13 | 9783642059384 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 384 |
| Mål | 155 × 235 × 21 mm · 557 g |
| Sprog | Engelsk |