Ofer Strichman

partilhar

Em destaque VER +

Decision Procedures

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.

bibliografia

formato
Livro
eBook

ordenação
Data Edição
Ranking

20%

portes grátis

20% Cartão Leitor Bertrand

74,34€

Poupe 14,87€

Decision Procedures

de Ofer Strichman e Daniel Kroening

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

20%

portes grátis

20% Cartão Leitor Bertrand

94,62€

Poupe 18,92€

Decision Procedures

de Ofer Strichman e Daniel Kroening

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

67,65€

Efficient Decision Procedures For Valida

de Ofer Strichman

LAP Lambert Academic Publishing

O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.