Decision Procedures - Kroening, Daniel a Strichman, Ofer
Stabilní cena
Cenu sledujeme od 1. 10. 2026 a zatím se drží na 2 078 Kč.
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.
Tip: Podívejte se také na další produkty z kategorie Počítačové programování, software.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783662504963
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
