Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18 lutego 2005
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 460,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 21 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 18 lutego 2005
Oryginalna data wydania 2004
ISBN13 9783540211464
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 384
Wymiary 155 × 235 × 23 mm   ·   712 g

Więcej od Werner Kluge

Pokaż wszystko