Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18. februára 2005
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 119,99

Objednané zo vzdialeného skladu

Očakávané doručenie 5. - 19. nov
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Werner Kluge
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 18. februára 2005
Pôvodný dátum vydania 2004
ISBN13 9783540211464
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 384
Rozmery 155 × 235 × 23 mm   ·   712 g

Viac od toho istého vydavateľa