Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - 10. novembra 2010
Č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 Softcover reprint of hardcover 1st ed. 2005 edition

Cena
€ 110,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 18. avg - 1. 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.


384 pages, 89 black & white illustrations

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 10. novembra 2010
ISBN13 9783642059384
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 384
Dimenzije 155 × 235 × 21 mm   ·   557 g
Jezik Angleščina  

Več od Werner Kluge

Prikaži vse

Več od istega **izdajatelja**