Mathematical Logic for Computer Science
Vše od
Springer London Ltd
ISBN: 9781447141280
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
1 615 Kč
- 1 - 2 ks
- 1 615 Kč
- 3 - 10 ks
- 1 599 Kč
- 11 a více ks
- 1 583 Kč
Naše cena 1 615 Kč je o 6 % nižší než
doporučená cena výrobce 1 719 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 Springer London Ltd ↓
1 615 Kč
Více o produktu ↓
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
- Výrobce
- Springer London Ltd
- Jazyk
- United Kingdom
- Autor
- Ben-Ari, Mordechai
- Rozměry
- 231 x 153 x 19
- Rok vydání
- 2012
- Počet stran
- 346
- Obsah
- Paperback / softback
- Hmotnost
- 558
- Počet stran
- 346 pages, 79 Illustrations, black and white; XV, 346 p. 79 illus.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Mathematical Logic for Computer Science 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!
