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