adicionar à lista de desejos
Decision Procedures eBook
An Algorithmic Point Of View
idioma: inglês
Editor:
Springer Berlin Heidelberg, novembro de 2016 ‧
ver detalhes do produto
72,86€
10% DESCONTO
CARTÃO
U0c5NGRrTnVZV2xwTHpKV2FVVnpZVVV6VTJoaFZEZFRNMmxtVHpkblFrd3habTlxU0M5a2VHOVNWa0l6ZURVcllXcE9ibTUzTTA1T1kwaElZV0ZTYTJzMlpFTTFZVnBTYkROQ2FYbG5kRkZJVHpKRlNEbGtTR0ZpYzFaMFRVTXhjeXRLUkd4cldTOVZhV2RtYUdreVpqRXdVRzFrVFZGSFZHbEplRUpCUW1oaWJqZGlkSFJRYUhacWMwRjBVbFZGVUhVMlRuZFZTbkEwY2xKemFrSmpiVTlVWWtSMGMzUkxZMEUyVW1NdmVTOUpOVWREWjJOUU5qa3lNMXB6VjJOM1NHbE1XbmxFT0dONWIzcFdUMGh1VVdnelZXOU1iVFZpVlU1NmMyZEJVVEprYTJ0aWNqTTVLMUkyWkhocVQzWk5XamszT0d4aVVYUXpWbTVRVEc1cGIzUlBiQzk2Y0dwaVZWcG5VVWhFTjBORVluWnJTekZoZUZKS1FsTXZlVGNyVW10bGNIZFFhakoxTkdFNVR6ZFNhbFV2VERJeGVuRXpNMkoyUkRKUk0wZHRTbWhyYzFwalUwNWFOa2x1Y0VadlEwOVpOelZITVRoYVluVXZjV0k0TkhKNVJpOXVNR2wzTVd3dlFYaFVVM3BPUXk4d2NsaFBVbEZWZW1aNVpXMVJVMXBhVEZCeFExcHNZWGN6V1RnMk1tOUdVRk41VEhGUmFtNTFiVkUzVFVFeFYzQldhV05RZVVaeldUTTJUU3N6TjNWNFozTllSVzVQTkZsbFRWSm1VbXhPVTFwTFpFOTFjRkY2V0c0MFRIaFFVM0phTkc5NlNFODJhakppVEZCTlNXRnBUV0ZEUjNSSFRHeHdjWEJKUnpOeVVUWlFaVEY1TmpCU0szVldka3RPUkd4V05rbG5WVXRhVmpKSVZVSXlOVUZOTkZwaVVVSkdWa0Z5Y2xsRVJsWkxhVWswWkRkdWEzVTBZVmxSVDNOS00ySkpjR3BFTjJrdlRHMTNiMUUzTmtRNU0yVktVVkJzT1RKWUx6aFVNVmw2VlhGTVEydEpSa3N2Umt4U2MzaDBOSEJOS3pKM0t6ZFpPRUpOT0hoaFZXUm5ja0ZJVm5wVmNGcDVVWFJ4YXpab04wNUdOWGczZFVwVFEyTkJMMlJzUTJwa0wybGxOV05aWjFCVmJUUTRaemhwYkdOMVJpdE5NRkZuWTJwdlVUZE1PRUpKZHpoWk1GQkVSRzloY2tkWmFtWjVUekJCTTFCT2JHNUNTbnBZUW1sVlZqaG1kVFJIZWtKNmQzZERPVzFEYlc1WllVeDJjMDVuUFE9PTpFays2UVM1Wk10RXRGZ0ZCdXUzaUJ3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783662504970 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | novembro de 2016 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Texts In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Informática > Programação |
| EAN: | 9783662504970 |
LIVROS DA MESMA COLEÇÃO
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARTÃO
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARTÃOportes grátis
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARTÃOportes grátis