adicionar à lista de desejos
Decision Procedures
An Algorithmic Point Of View
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, julho de 2018 ‧
ver detalhes do produto
74,34€
10% DESCONTO
CARTÃO
VkRsV05VVlpiWFpNU0VWa0syZFNiVmRNZVV0MUx6bElNVXQxYzFjd1JETjJaMlZ3TTBOcWVXWmhjVzR5TDB4RlJVODVkWGRMYzNOUE5XUTVNamxRU1hjMFNGWXhOWGh6UmtneGRGWldSamh3YUVkTGVVSjJRVXM0T1doMWQyUnhjSFZWU1ZOR01YSlNUMHM0WkcxSFRXMVVUVnB0UjFsWk5HTnFVMXBOTkdWeVprcFJhREZKSzJvNU5WTXdlVVJ2SzNkSU1rSlFNSGw2ZUVGaEszSkthMGhMVDJac1EzUnFRWGhRVFdwS1NHMUNNVU51V25kQlRGVnhSemxRZUU1aFZFaFpWRTlvUVhsMmFFbGxOR2h5ZVd0RU1VUldXamxwYldOR1IzVklRekpzZDJ4bWNWTnJLelEzUTNvd1pteDRRbVZJY2xoQlN6UjJOMGhwUnpaTVZIZDBXV3hVYUhCYUsyZzRNa1pLYkc5cEszVnNSMFp0VUd0WVYwZDZZM0UwV2sxMlNXZEhWall3YlV0VFJFOVdlbVpLYkd4Q1JUZEplaXQzWjFVd1VubENVa05IZEhJd2NXVTJZMmRyTTBKaFUzZFlTVFJLYlhSSk1IZDFTVVZhYTI0NFJtczVheko1TUM5MUswZElXV2c1VDNocFVtSlVNMlZXVVRoMWRUazBRMWRJVWpSdFZGUllPSGxLZVc1UGVYSlBjM0J5YkV4WWEweExLM1F2UW5RMlltbGhTREV2UTFKelVuQlJkazFrTTNwVldsaENUSE5UZDJjNFZXWkxSRVpSZFRWM2JWTjVaa05sTUdrclRWbG9OQzlSUVhwTmRuQXphV3NyV0VGU00wSkRlbkpNY1hCNVZHaGtlRk51VmtwUmNXeExaMjFJZW1seGRuVlVRaThyUm01UFNVRk1ZbWRpT1ZOd1NqaHRMM0pVVGpaWlMwc3ZORzA1UjB0MFNTdEtVMGRwVUVaUlQwaE9aME54ZG1kWWJtODNlVGd3ZHpVd2VqWmlZVVY2TlVGaVVWVjZPRlkzWkhBeU5IWTVWM1ZaWjFReVFUSnFOalF5VFc1bWNUTTJNRVpwUWtsblNFTnZkVlZCUkhKNFpIQnVTVXg2SzBwT1dXaHNNMlJ6YVZkUmRFNDRaaXRoWVVOb1duTk9SMjQ1TTNsS05XaHFUMGhwV1VGRGIxTkRaek5JV1V0NWVFOVJTV2N5SzNGNlZVbDROekpVU25obGFERjRNM3BCZGxWcWJsRmhlVlo1TVhWeVpsTjVOV0pOWjNSdmJGQkVlQ3RDS3pCUmQxWnRlSG96VFdKQlZsUXhhblI2YWxZMGFtbFJXbmx3ZERoUVkxVjVablZXVVRKNVRtd3hhWFJHZGs1SGRTOVRkbVZEVkVOVU1VSmpSMUF6VVcxNWFVOXlUaTlwYmt4Wk9EVnRWMkZGY1dKaEx6VlZNVmR6VkROMFUyNVlUbTFxVHpKRGJBPT06UTJFUytPRTZDOXVaWlhER25FaWZSdz09
portes grátis
Venda o seu livro
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: | 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
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARTÃO
-
Decision ProcedureseBook10%Springer Berlin Heidelberg72,86€ 10% CARTÃO