Axiomatic Domain Theory in Categories of Partial Maps
Vše od
Cambridge University Press
ISBN: 9780521602778
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (abstract)...
1 344 Kč
- 1 - 2 ks
- 1 344 Kč
- 3 - 10 ks
- 1 331 Kč
- 11 a více ks
- 1 318 Kč
Předpoklad doručení do 27. 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 ↓
1 344 Kč
Více o produktu ↓
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (abstract) setting. It includes an introduction to enriched category theory.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Fiore, Marcelo P. (University of Edinburgh)
- Rozměry
- 247 x 189 x 16
- Rok vydání
- 2004
- Počet stran
- 256
- Obsah
- Paperback / softback
- Hmotnost
- 488
- Počet stran
- 256 pages, Worked examples or Exercises
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Axiomatic Domain Theory in Categories of Partial Maps 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!
