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
TlVsWFRFWlRZVkZyU1hGQmJUWnhVM2hITlU5RFJXUk1UbTF6YjJacWFYUmhaa1U0UzFGUkwwdHFlRVJVVjBkM1R5ODNNMjFQVEZWaVVrdHJabnBvTmpkWmFFVkxTREU1Y1ZrMk5uaENWVVZGVjJJeWJXNVliSEZzZFRSUlpWZzRkR3Q0VTJoQ1REZ3pOeXRpVG1RM1RVbDFRM0JaVEd0amJWRk1OamhxU1hCbWNXVXlVVGxsVlV4VVdGWklla3BvZDJONlpXWTJhbFJwVm5nMloxUldkVVZ6ZW1zck5FUmxLMnRPY2xWT2RtZG5ZWFpDYTNSRGVGaFJkWEIzUWtFck0xQjJhMjFJWkhWb2NIQkdLMUpHUzBkekx6VlpUV0ZWV0hCMU1VcDVRekpqTHpkWVEyTlpkMUZNVUVoeFRrTjRUbWRSUzBKUGEyMWpZbVJ0U2prcmRXWTNWRE50ZWtrMFNGTmlXblJ2YUVFd05FdFBlRmhFTjFSaVlXVTRUR2R1ZVVKb2JXeFpVR1ZUVVRSSlNFTkViM0I0YjNGMlRtMHJlWGt3WkZsdFQySjVPQ3RUWjBVck1WRkpWMHRrWWpGbE4wVnVUVlJHYlRsc1lXNWFjbVptZEVwdGJWcFdkMHRqZEU0MGFETlFTMHBoZVRVM05uRkhRbnBsV2pRcmVuWkNPRmhaZDI1NU1HNUNWMDFFYlV0dlZTOVZiakJETW1oVFJtUmFSR2RFVlVoWFJUZEJiVXBPUXpnNFUzSTFRMVI2ZFdzd1l6Tm5TRWRPVVhZeGJuWXpWVzUzUm5waGF6SlJkVk5YUW05MGQxRXJTRUZKY0d0R1lXdDRhMUZWU0RjM1RqSktNWFJXVldwa2IxSm1WRmxKUW5CeFVqQm1hMjlWY0hGT1MzbzNMMUpKWVN0S1NUZFdNM1V4UVRWNVprWXhTVFZSVEhneE1UVXlORXR3V0dkeWNsaDRiVmRpTDBWa09YVXlMM3BHTWpab0wzVmtjU3Q2YmxwQ2Mxa3JjbVpDTW1WYVVYQm1NRVpHWkZsTFZYTnJabGxvYW5ORmJFMU1RV2MwTDA1WUx6aFZOSEZQYzBkeFduRlFUWEZSVHpadVZEQkRXV2RyZFdKMFUza3djRTh4UkVaVWRqRllVbVZaZUdneWRqaEZlRTVTUlZVelNHeFBWMkZNZVhCRlN6UkNibGcxVm0wMlQwOUJLekJ4TDJwWFUybDJZbTFYTDI1bWVYUlhXSFJaY0ZkWmIxWk5hVXhFWlZCalpGZGhkMXB3YjB4eE5IZHJVV3hUV25aVlRsUnBOemMwSzBSc1JGVjFSV3huUFE9PTpUZS9NWXNmZ0JoRVJ3WWxvNko5NWJnPT0=
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