adicionar à lista de desejos
Decision Procedures eBook
An Algorithmic Point Of View
idioma: inglês
Editor:
Springer Berlin Heidelberg, abril de 2008 ‧
ver detalhes do produto
72,86€
10% DESCONTO
CARTÃO
WVdkMVkyMU5VVW81VGpKcU5HWm9iV3BNT1RBd01UUk5VVE5ZU1d4UVdsTlZXRWsxWmxWSmVVeEZaMGxHY1hoR2RsTXpTVnB6U0VoR2VHRjNVWFoyVXpVNFJrbG1UVFo2VEdaUU0wVnJjSGhzWmsxaFUwMVRTbm8xZWtaMWRWQTFhVmxLTjBFdlRXMDNXVFJhUjBkMlluTm9RVEV6ZUVkTVpqaDJlRlJ1YTNobk0wOWxiR0ZVTldWNWJraEpjakJzWjBoWWJXRnpSVmh1YkZCUVdqUnhSWGswY0V0d1ZVMHJSVFJIVkdobVZuSlhVR1EzYzJrMVdWcGtlRU5CVW5ORFdIRnlWakJTUlZvelZ6WXJSMVUzZEUxYVprVjBOMUpRTkc1NlVGbEtkM1JqTm0xT1owcGhPV3h6TkRGRlZ6RllRMDFtWlc0eVFVcEdla3RUVjJ4ak1YTTNaRkpKYkVOTlNscHhTRWxyYVhsM1UxZFBSM0p3ZGxWU1NUSmpRemhtVlhoT1ZXbEdhR1JhVTFKVE5XUm5SWFV4UXpObE1EZG1TMjE2YWxkM1NFSnVNV056Ym00MU5GQlRTVzlTTUZGcFMySlBOVmxWWVhKdU1uUm1SRmxsZWxwc2JUWjBjbGsxWVVKWlRFZFVUbWxLYVN0bWFXTkRURmxZVjBZclRIWkZZbFZXT0N0a2RFdE5TVkJpTm10aU5HOUthMFZXZW1oU1Nua3dTVTl3UTBGU1dVeG1SbWhHYVV3d1ZXazROWFZsVlROYU5UQXpZV2MxTVZsYWVrZDBMMDk0VUdaTGJFOWtaMk0xT0VzeGJFZDRkMW94U2xNdlpWQktla280VjBjNVRIRkNZMHRhVUUwM1RHMXBVREZzVDFORFVGRkNSeTlYWmpaV1RWUkRObWhDT1d4T2RsWkhiVGhyWVRGSk1XTnRXa1JKVTJ0dGRrZEJiMHB5VFU5aFFXOXVTVTFWU0dzeldXUlhkV1pvTTBZMFFrcEhZWFZTTm5aM1VEWkZlVXg1YmxOSmFrZDZOMU5uVUhwemRWSXJiMWxqZFdjeVZYRnRZblZpWTI5TFQwUTJPV1JzU2s1c1IxaEVkamg1WVdkamJWbEdUM3B2UlVSSllrOUNXakl3U1hsSE5tZDFibWd4YVM4NFpEaDBTSEUwVm5oa2FrcHBWa2wzZUV3eVN6aENPVEJPT1RaaFluSlVTVXBoSzNGS1dFdHZlazlFUTNkcVEybHBOazVCYUdnemJVcFFNMmtyVjJ4T1VHSmpObXBsVVZZMlpXVTNSbWRHUTJGdVRWZHBLMU0zZEhsSFNIbERTbWR6UFE9PTpQUEhudG1YdW5KblF0OU1CYXVyZ1ZBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. This book focuses on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783540741053 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | abril de 2008 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9783540741053 |
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARTÃOportes grátis
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARTÃOportes grátis