Pastāsti draugiem par šo preci:
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science Simmons, H. (University of Manchester)
Cena
€ 183,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 26. okt. - . gada 9. nov.
Saņemiet paziņojumus par jauniem Simmons, H. (University of Manchester) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science
Simmons, H. (University of Manchester)
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.
410 pages, 23 tables 193 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2000. gada 18. maijs |
| ISBN13 | 9780521771733 |
| Izdevēji | Cambridge University Press |
| Lapas | 412 |
| Izmēri | 236 × 161 × 25 mm · 668 g |
| Valoda | Angļu |
