Abstract Computing Machines A Lambda Calculus Perspective - Werner Kluge
-30% ar kodu BOOKS
Piegāde 10-16 darba dienu laikā
30 dienu atgriešanas politika
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Jums varētu patikt arī
Aprašymas
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Vairāk informācijas
| Autors | Werner Kluge |
|---|---|
| Izdevējs | Springer Science & Business Media |
| Izlaides gads | 2005 |
| Vāka tips | Cietais vāks |
| EAN | 9783540211464 |