10% de desconto

Decision Procedures

An Algorithmic Point Of View

de Ofer Strichman e Daniel Kroening
idioma: inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, julho de 2018 ‧
74,34€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Decision Procedures

An Algorithmic Point Of View

de Ofer Strichman e Daniel Kroening

Propriedade Descrição
ISBN: 9783662570654
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: julho de 2018
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 356
Tipo de produto: Livro
Coleção: Texts In Theoretical Computer Science. An Eatcs Series
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783662570654

LIVROS DA MESMA COLEÇÃO