Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18 février 2005
Si la couverture et le titre ne correspondent pas, le titre est correct.

Werner Kluge
Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series 2005 edition

Prix
€ 110,49

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

É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.

404 pages, 89 black & white illustrations, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 18 février 2005
Date de publication originale 2004
ISBN13 9783540211464
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 235 × 23 mm   ·   712 g

Plus par Werner Kluge

Afficher tout

Voir tous les Werner Kluge ( par ex. Paperback Book et Hardcover Book )