Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - 18. februarja 2005
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 110,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 23. sep
Prejemajte obvestila o novih izdajah izvajalca Werner Kluge
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 18. februarja 2005
Prvotni datum izida 2004
ISBN13 9783540211464
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 384
Dimenzije 155 × 235 × 23 mm   ·   712 g

Več od istega **izdajatelja**