Naturvetenskap och teknik
Decision Procedures
Utgiven av Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format
Häftad
Sidor
356 sidor
Språk
Engelska
Utgiven
juli 2018
Jämför priser
Från 289 kr
289 kr
371 kr
399 kr
Priserna uppdateras löpande från säkra och trygga butiker.
Om boken
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.
Fler böcker av Daniel Kroening
Liknande böcker
Alla i Naturvetenskap och teknikBästa pris289 kr
Gå till butik