Abstract Computing Machines A Lambda Calculus Perspective - Werner Kluge
-30% koodiga BOOKS
Saadetis 10-16 tööpäeva jooksul
30-päevane tagastamisõigus
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Võib-olla meeldib sulle ka
Kirjeldus
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Lisateave
| Autor | Werner Kluge |
|---|---|
| Kirjastaja | Springer Science & Business Media |
| Väljalaskeaasta | 2005 |
| Kaanetüüp | Kõvakaaneline |
| EAN | 9783540211464 |