Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - perjantai 18. helmikuuta 2005
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 2005 edition

Hinta
₪ 443,30

Tilattu etävarastosta

Arvioitu toimitus pe - ti 12. - 23. 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.


404 pages, 89 black & white illustrations, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 18. helmikuuta 2005
Alunperin julkaistu 2004
ISBN13 9783540211464
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 384
Mitta 155 × 235 × 23 mm   ·   712 g

Näytä kaikki

Lisää tuotteita Werner Kluge