Faites connaître cet article à vos amis:
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
Prix
€ 97,49
Commandé depuis un entrepôt distant
Livraison prévue 6 - 16 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Werner Kluge
Ajouter à votre liste de souhaits iMusic
Également disponible en tant que :
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 10 novembre 2010 |
| ISBN13 | 9783642059384 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 384 |
| Dimensions | 155 × 235 × 21 mm · 557 g |
| Langue et grammaire | Anglais |