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
TTI1d1ZYcEJjSGgyVURSSFJISjZNVTlKVVZKMWVFUlZWMkl2Vm1SMVlqWllTRkJQWXpONEwzSkhaRTF5TW5SMk5rNTBWMWswVW1FNVdEaGFhVlZ4VEZCYVFWcExlRGRCZVdRMVVsRk5OR3hwVXpWVlZsZ3ZaV0YxVGpWUFJYZ3ZhV05zVkVwVFdUSkJRUzh3UldaSVZtVnpTblp2TkVnMVRVMUZiME16THpnNFJqbHlhSGhUTUZObE9GazRaMVF2UlhoWE1XdEVka1prT0RkTGVsQlNkRzgyUjNwaVUybDJRa2RhWTFoMVZUVnlaRVkwUzBwWmNqSkdTekpKY21KdmVUVkxRM1ZOVFcxNlVHTk1XVVZ6T0haUFNXMVJUMGhJVERNM1ZDOUlkRGxPYm1Sc1JrMDRNUzh6YXpFMU9EWTVObFoxVW5oQ2FuQkNZMmhDYkUxQmFFOXFVRWhMYWxnck5ITkhaWFk0Y25SdlNFa3ZORkZhY0hjeGJETkJOMGQxT1cxbVJsaGhZbVk1WW1WclJVODVUVzQySzNsNWJqbGtWVkJYWnpnNFRqTXlkRkJMUm5KUlpsSndaa2hYWkUxSUsyVlliVVJTYlVSUFFXdFZjMU42VURsVWNUZGlPVzlOTjJ4MWEwUTVSbEJHYjBSVk4zcHJNVnBZWldsMWNrY3JNelIxY1ZWRVJIRk9iVVZuYTFSU00wUmplSFkyUlZrMlExcDBia0pTVkV0RFJXOWFiMGgwU20xTllWSlNRVVZNYWl0VE5sRlBURTU1U2xJelUyRlpRVVpEY1ZsU2MwSTJNRkpvWjJjMlJIaDNRekZsYW05TFdWWldSV292U0hNeVNtcEpNbXhhUWpOSFl6a3hVbVZIZFhscFpHNTVUVWRKV1RZclNEWkJTVkpvUjJjd2JXeFlaVGhoV0hOaE9GaEtObFEyZG5SSlMybGhielpGWW5aUU5YUmtkRWRqVDIxamNIRlVTamRRYUdkeVdEbDJhVEpJV0VVeU1sTmhXRWh3ZVdwekwzVXlZVVZ0WW5wWU9HWTBkMnhWZWtaeldXRTJNMHg0YW1NemJscHpPSGxWZEM5SlYxSjFhelIwVkRFNVUxTjFSWGhXWnpVd1UwYzVWbWhGY21SbVRtbDBkR3R1TjNCSWNFSllTVVpFWVM5TmJGaG1hWEV3TTFOTlYwMXVia2haVEhSWFZtdGhZMHhtV1ZoU1JIQkZiWFZyYkhKdllUQnJhRTFZVVhWcFpFUm9hRk0zVGsxc2IxZG1kRzF4YXpVNVlWbEdSME5hU1ZFdlRqZFBka2hFZDNoalJYQldVR3hSUFE9PTp0S2IydkljMThNakN0Vzc5MkpvQUtBPT0=
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 |
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARDfree shipping
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARDfree shipping