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, Janeiro de 2017 ‧
94,62€
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: 9783662504963
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: Janeiro de 2017
Idioma: Inglês
Dimensões: 155 x 235 x 22 mm
Encadernação: Capa dura
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 > Informática > Programação
Livros em Inglês > Outros
EAN: 9783662504963

LIVROS DA MESMA COLEÇÃO