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 - 9783642059384 - 10 november 2010
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 Softcover reprint of hardcover 1st ed. 2005 edition

Pris
SEK 1.109

Beställningsvara

Förväntad leverans 20 - 28 okt
Få avisering om nya utgåvor med Werner Kluge

Våra kunder säger:

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

Inte betygsatt ännu

Finns även som:

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 10 november 2010
ISBN13 9783642059384
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 384
Mått 155 × 235 × 21 mm   ·   557 g
Språk Engelska  

Fler produkter med Werner Kluge

Visa alla

Mer från samma **utgivare**

Se alt med Werner Kluge