Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18 februari 2005
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 113,99

Besteld in een afgelegen magazijn

Verwachte levering 12 - 21 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar 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

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 18 februari 2005
Datum oorspronkelijke uitgave 2004
ISBN13 9783540211464
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 384
Afmetingen 155 × 235 × 23 mm   ·   712 g

Meer door Werner Kluge

Alles tonen