Decision Procedures
An Algorithmic Point of View
Vše od
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783662570654
The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.
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-Verlag Berlin and Heidelberg GmbH & Co. KG ↓
Acting Correctly During Cardiac Arrest: Why Immediate Resuscitation Is So Important
do 27. května734 Kč
1 615 Kč
Více o produktu ↓
The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.
- Výrobce
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Jazyk
- Germany
- Autor
- Kroening, Daniel;Strichman, Ofer
- Rozměry
- 156 x 233 x 24
- Rok vydání
- 2018
- Počet stran
- 356
- Obsah
- Paperback / softback
- Hmotnost
- 582
- Počet stran
- 356 pages, 5 Illustrations, color; 59 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Decision Procedures 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!
