Logic and Computation
Interactive Proof with Cambridge LCF
Vše od
Cambridge University Press
ISBN: 9780521395601
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
1 625 Kč
- 1 - 2 ks
- 1 625 Kč
- 3 - 10 ks
- 1 609 Kč
- 11 a více ks
- 1 593 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 625 Kč
Více o produktu ↓
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Paulson, Lawrence C. (University of Cambridge)
- Rozměry
- 247 x 187 x 19
- Rok vydání
- 1990
- Počet stran
- 320
- Obsah
- Paperback / softback
- Hmotnost
- 574
- Počet stran
- 320 pages, Worked examples or Exercises
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Logic and Computation 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!
