adicionar à lista de desejos
Decision Procedures eBook
An Algorithmic Point Of View
language: english
Publisher:
Springer Berlin Heidelberg, April of 2008 ‧
see product details
72,86€
10% OFF
CARD
U0dkdGJHZ3ZWR1pWYVZaaFltSlphME55YVdoa01uWm9TbWg0UzI1dWFrSjFTVFpzYTFjM1UwVnhUbFUzVWpGNlVrSkRVVEJvZFU4dmVGVnNaekp2T1hwa1NtMDFVbXRCV2xsMVZFRTJTbHBQSzNwRGVVZ3JTV2hPUTBkRmQwWXZVRVpCVVhoMU5VOHlUWEZCUTI5b1JtWkJObU5UTjBaUlMxUnNVbk5SZVVKR05VbExiM2hGTkd4aVNWcFhkVXRNVGtKTU5rMWtObkZ1VDJWVFJrSllWM2N2U2xJMGFrVXdlR1pNYlRSMmFrTlZRMEkwY2pOYVMyaHhURkJ1TW1OSlpYRnBNMVJTYlVscGFIRnBNMDVJTldkRE5IVk5iMmxNZDJaTlZFVTJNRkp4TVRkRVIzbHJiM0pDYjNGcEx5dHVSVXROTjJwWEwwWktWbU5PUzBkME4xazFibWhZZUc4eWNtOUtSM1ZLU1UxeVFVNTFNalkwV1daR2JWSlRhamhoTXpKTVRYWmFVek5LWjJGQk9IUnVNWFZMTkZWek9GQlFOa3AzYjNNdlRIUTBRaloyWW5oRVNtcHFUMWRzWjFwdVVuRnlRbmR1VmpJeGNUaG9Samg2Y201Rk9IZ3pVWGxCTjIxWGNFZFZiMmxKUlhCSE9ERnZTM1ZqYkdaT2JYbzNNR3h0Y0c1V1NWSlFlVmhxVkhvME9GY3ZkREJ3ZUZSeVoySkpNVGRJTURGcGFVNTNjekpCUTBwbU9GZHZWRWRQTVM5SmRuRk1VVGxWVVU5WWVDOW9TV2h0V0hBNFZIWlJOMWN3UW5CMldFMHZiMXBwTWpkNWRIZDRUbTlEU21KbVNYaERlSE5wWnpWMU9UTlZUMGRFVTNCdFltaFNUelV5TmxCQ1NXSk9jak5GUlZoTlVsaDZiWGxaUzNKdVUxRkVSRGx1Vlc1bWRFUjFSSFZqU0hkNlIzb3hOVmN3ZUZVNU5ERnVNR0V5YTBJNFVtVTBSbGs1UTAxRFRFOUNUMEp6VVV4dU0wUTBVazB4VXl0d1luSnJhU3MwYUc1c1dVMTBTVTB4WTJWT01FRkZVa1pyY3preE56QnNSazF4Ymt0UmFHUjBLemh0Ym05bmIza3daRGRKVlRWNVMwVkxUVXBIZHpCRVkxaFJRWEo2ZFhBek0wZDNZMjlKY3l0b00xbFhjemswZWtONU0xSlJRV1pTWldaalJrUnNlRlExY210S1MxcHFWbGxGWVc1dWJucE9WWFp0VERWSmQzaDVObWhaYkZsamRsQXJhMVpTUkhneFNDdFlNVzF4YUZGMk9HaFBSaTlSUFE9PTp2VUljTkdsUHpWR2dYeFpEMStzQXZBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783540741053 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | April of 2008 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9783540741053 |
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARDfree shipping
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARDfree shipping