Basic Simple Type Theory
Vše od
Cambridge University Press
ISBN: 9780521465182
This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that...
3 313 Kč
- 1 - 2 ks
- 3 313 Kč
- 3 - 10 ks
- 3 280 Kč
- 11 a více ks
- 3 248 Kč
Předpoklad doručení do 28. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Cambridge University Press ↓
3 313 Kč
Více o produktu ↓
This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Hindley, J. Roger (University of Wales, Swansea)
- Rozměry
- 159 x 236 x 23
- Rok vydání
- 1997
- Počet stran
- 200
- Obsah
- Hardback
- Hmotnost
- 452
- Počet stran
- 200 pages, 1 Tables, unspecified; 10 Line drawings, unspecified
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Basic Simple Type Theory a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
