Abstract Computing Machines: A Lambda Calculus Perspective - Werner Kluge
-30% koodiga BOOKS
Saadetis 12-18 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 Berlin Heidelberg |
| Series | Texts in Theoretical Computer Science. An EATCS Series |
| Väljalaskeaasta | 2010 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9783642059384 |