adicionar à lista de desejos
Decision Procedures
An Algorithmic Point Of View
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, Janeiro de 2017 ‧
ver detalhes do produto
94,62€
10% DESCONTO
CARTÃO
VkVkMmVXbFpRamhwTjFGWk1UY3lSMVZHVWxBMWJHSnVSbEJOYlZWME5qY3ZTMkpMZGxKUmNIVlBVMEpaZURaalVHeDNlazVYYUVvMU5uZDRaVlo2YUZkRk0xaEhVR3BWT1RNMlVVZDJWRkJOTDB4TldFUTRabVkwTVZONFdsZzJNbmswUkRoMWNXOXhSV1IzWW5SdVMwNXBNRWxwYUhFNWQwZDNhelptVVVjeE5UWTFlR3hYUVVKYWFteHlkRXBJV2poa1pWbEtXWG96ZW05VmRtNDVjRzFPU25sUVNqVnliblZrY2xkcWRHSnhObXhpVVZWS05YTTRlV3RZYWtSSmNWVktVU3MwV0ZKc1YyRXlSV1poWjI4MFJXNUtOVkkyWkVadU1XbGtSU3MxZWtKWGFIWnlia3dyT1RnMk1XbE5NazVGVERSbWNVSlhaVFI0YUd3elZuRktWbHBoWlRscE9IZFRkMnRGV1ZaVWFHczNkbFI1VXk5TUwxSjVNRGRuYUZNMGJsVjRaeXQyU1ZCNFUzb3pla2cxVUhOUFN6STNObXg0UWpKVGVFaGtVblJ1YWpOdFMwUk5OMEpuVFhOSE9XY3pSbFp3TTFjeVExZG5XbWhHWlRONFEyaHpha1psUTI1dFkwRjNUSFl3TTFRdlJ6SnRXakYxY1dGSVpVOUVkMGhrYTFSWFZWRmpMMkl2TkZZM1RsaHVVWFZNZW1jNFNscDRiMDFvUjJ0aVoyNUdkV3hEUVdScmFEbEtLM0ZQUlVsdldrOTZPV1ZQTUVoQ2FqaFJNMDEyU1RaSFVGbDNRMmRRYldFNVZFVjJibTUyY2tvMlpUTk5iVFpsWTFNNFkwVlJhRnBIYzJJNE9DOXBNSGszTDJWWFZtbFVWamMwU0U5dWVHWm1VRzl1UkVwdE9GaHRkMUV6UjFoVFVrOXBXU3RLZDNCYVZIUk9jSGhHU2xGUFpUTm9URXBHVjFWTmFGTjZjRzlHT0RkRGJWSkJUMHhDUVZNMVZXaFhTMlZzVmtsa1VFOW9RbXhJY1hOVFMwZzRSMWRTY0hGeFpXaGxTbXh5TlN0UGNIRlpjemh4WW5wemFqQkplbXhhVkRsalNrWTFaRlJXYjFkUU0yVlVjSEJtWVZKeUwzSnNUSGhoVWxKS01IUkVjMUJYYzFndk1FOVZUaTk0UlRSRGNFMTRZbkl5WkZKa1JWZFJOV2N4U1M5cmREaHdXRE51ZEVKRU9IaDBkM0UzZUVjek1rRktSMUYyUVV4dVVsZDJZbmxJTTJwMVVuRjFVV0ZWZFVKQ0syVlZSR1ZuZFZSVVUzZGFjMUJVT0ZWaU9WZFVRV1U1UWtGTmN6WjRiMW9yWVZwSmVGcDFRbkJHY2xSa1EzRjBTMjE1YkVSRFJ6RlVSbFl3ZWxWellrTkVLMGhrTUZCRGJVMXdNMGhJYmtkblJuQmtLMjVYVVhGNVVsaE5ZbXBuU0c5a1NRPT06dkNiclFLQkdNa0RVLy9ORm1KMWlMUT09
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: | 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
-
eBook10%Formal Methods For Software EngineeringSpringer International Publishing72,86€ 10% CARTÃO
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis