Pastāsti draugiem par šo preci:
Lambda-Calculus and Combinators: An Introduction Hindley, J. Roger (University of Wales, Swansea) 2 Revised edition
Cena
€ 111,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 29. sept. - . gada 7. okt.
Saņemiet paziņojumus par jauniem Hindley, J. Roger (University of Wales, Swansea) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Lambda-Calculus and Combinators: An Introduction
Hindley, J. Roger (University of Wales, Swansea)
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
358 pages, 10 b/w illus. 1 table 55 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2008. gada 24. jūlijs |
| ISBN13 | 9780521898850 |
| Izdevēji | Cambridge University Press |
| Lapas | 358 |
| Izmēri | 159 × 237 × 24 mm · 670 g |
| Valoda | Angļu |
