Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - keskiviikko 10. marraskuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2005 edition

Werner Kluge

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2005 edition

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 10. marraskuuta 2010
ISBN13 9783642059384
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 384
Mitta 155 × 235 × 21 mm   ·   557 g
Kieli English  

Näytä kaikki

Lisää tuotteita Werner Kluge