Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 10. novembra 2010 |
| ISBN13 | 9783642059384 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 384 |
| Dimenzije | 155 × 235 × 21 mm · 557 g |
| Jezik | Angleščina |
Več od Werner Kluge
Prikaži vseVeč od istega **izdajatelja**
Ogled vseh Werner Kluge ( Na primer Paperback Book in Hardcover Book )