Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18. Februar 2005
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 97,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 19. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 18. Februar 2005
Ursprünglich erschienen 2004
ISBN13 9783540211464
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 384
Maße 155 × 235 × 23 mm   ·   712 g

Weitere Titel von Werner Kluge

Alle anzeigen

Alle Titel von Werner Kluge ansehen ( u. a. Taschenbuch und Gebundenes Buch )