adicionar à lista de desejos
Decision Procedures eBook
An Algorithmic Point Of View
language: english
Publisher:
Springer Berlin Heidelberg, November of 2016 ‧
see product details
72,86€
10% OFF
CARD
YjBSWFptbzBTSEpxTkdvMWFHRlJTSEozZUhVMVFUQXhlbWxhZFdOTVZFOWtaMlp3Um1oU0swZ3dibTlYUVVsMGRYSjRkVFpUTUM5bmFFSlZhSFJ6YlhsUGREaE5iR3RZTUhwd01GTnBVbHAzYkN0b05rdFNOWFZhVGtWM1Z5OWpRalU0UVVRNWNuaEtSSEZLTkdaSlEzUjNORVJPY21ONU5uaE1WSFF4YW10a2MzcHZSa3hCZG1ONk5YaEhNVEZFVldwc2VHdFNjR2hpZG5KU2JuWkVObkI2ZG1sMWRHaGpObGxKVlVOdU1UWk5kVVk0V0dScFExVnRVaXN3ZEVWeVIya3lSVkY0VGl0UmJXbDNZMGRyU2pFMmRFMU9lRFo0SzBJMVYwSnZlVWQ2V1d0alRGRlhPSGRXVDNaalQzbGFUSHBQTkZWblNYSkdWVGhRV2s1WFVuSkNVbVpDTDFOS05tcHZPR1JUZFhKUGQyaENXRGhCUlc5M05GSjJNVzEzVHpWcGFVdDFURmNyYVVwSmNtUlFOa04zVW1rMmNFOURSazUwTUVaWlpXc3ZNRTF3U1M5aU5VMURiek5xTmtGS1JHbHZVRGd3WkRObmVHODRWbmhGZFhKNWJXMXhabGQzTTJzNU5tUnVjMlZDYmtZd1NsQTRjRGhaV0dVd2FtMTVOemd3V25VMU5tNVRiRTFFVVVGVGFDODJUVmxpT0Zsb09FcGtWSE15VkZCTVZqSkVlRU0xVDBSd1UxbDNRbk16UzFSTUt6SnJVblZLV0Vodk5YWndaa3RhY0N0TE4xcElaRGRIUkRSaGFXUk9lVTk2TUdwQlkybGlUazVqTjJKNlJrSmhOekpPT1RkTlVFWmpVMjlPZUhrM09GVTNMekV2SzBwMFJuWXdRbHAwZUhscmVVVnpSakZzWjIxUGNFUm9aRmhWZVROeVNUaFRaekV4TkdSVGRsRmlkVWRMVVVocU1qVlFhMVY1TDFGSGRuTjNZMU5sVUVaTEswbDNVRVE1VDFjcmNVWk5lRmRZVjJKVFRubFdSVlZUWTBOU1ZqSllWRmhzU0ZGdEszWmljbWMzVkZCSlkzTTFjVW9yWm5aMFNXTnVUbFUzTnpGU1JHaE1RbmxOWmxsV2NYZHRVM2cyTmpsbFdqQlphWFJqVTNsS0szWnliM1pWZWxreVVrVkJZMnhrYUc5YU5pOVJPRWRpVHpoWlZuSnZja3c1TTJkc1VrbHdOMk01Um5od1J6ZElhVVpyZW1Ob1FsbEZlSGhXVlRoUGRFWjNWVWQ1TTB0R0syTkNVVTlPZUN0emEyUTNabmhOUFE9PTpIdEdUbWE2amlKVDhNbkUwamZ6REZBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783662504970 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | November of 2016 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Texts In Theoretical Computer Science. An Eatcs Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Computing > Schedule |
| EAN: | 9783662504970 |
BOOKS FROM THE SAME COLLECTION
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARD
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 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
-
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