Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18 februari 2005
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.199

Beställningsvara

Förväntad leverans 9 - 20 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 18 februari 2005
Ursprungligen utgiven 2004
ISBN13 9783540211464
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 384
Mått 155 × 235 × 23 mm   ·   712 g

Fler produkter med Werner Kluge

Visa alla

Se alt med Werner Kluge ( t.ex. Pocketbok och Inbunden Bok )