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

Hinta
₺ 4.961

Tilattu etävarastosta

Arvioitu toimitus to - pe 11. - 19. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Englanti  

Näytä kaikki

Lisää tuotteita Werner Kluge