Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - 10 novembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series 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

Pas encore évalué

Également disponible en tant que :

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  

Plus par Werner Kluge

Plus d'ouvrages du même éditeur