adicionar à lista de desejos
Decision Procedures
An Algorithmic Point Of View
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, July of 2018 ‧
see product details
74,34€
10% OFF
CARD
SzFka09HZGhTbFpCYjNWNmJIZGtUVWhCZDBwQ2Exb3Zka04yYzBWS2JFdGtiWFF2V0RaR2EwZGtlVlpCZVRSVU9HRldTRVExTWtoRGFGaGpVRzFWTURnelNrOWtWbXcwTWtGMmRsVXhiRFV3TjFGTGFXWmhkVWRNYnpWRk1qRlVVMlpYUWxaWVNqTXdhVU5OZG04MWFGQmFLM052V1c5TmIxWkNWRXN2ZG5CdWJsRTFhVnBYYlZSMFRqVTVTV3BoY1ZWYU5qSTFNM1V4ZUhSaFoxcHBSV3BWYUhkc1VGWnVWemRWVlUwNFFuRjFRbE00ZG10cVlsVlBkekZ3YmpFemJUUjNWbEZyVDJSR2RrVmpiVGQxZVdsVVVsWjRjRFkwTlRsQ1VIbFZXVVJOWjJaWVZFdDRlalJJWTI1SGRqWm1iR2N6YmtoSk4yTXpTSEJZTWswMVEwVXJiamRSYlZoR1JXZERhbkpGVUN0amQwbDNVMmx4YTFVd04wRmplbk5qY1VoU2VraGtLMFF5UVU4elpEaDJWVVZDVUUxaFltMVdlVk13UVhCcWMwWnBVVEpJVFV0Vk1WUXhaWGxGVW0weGNXeGlSVXN2T0ZKQmVXbFVVazgxSzBOSVVuSjBTSGwzZVUxWFRUZzRja014V0VkUVRERndablozTW5wVVRUYzVUWEI1VlVKeFpFdHBVSEZPWkdzellWQnNPVkJrU0dwc1dERmhVbmRoWlRsRlFVUjVlVzl0YUZOWVFuZ3pUaTg0V1VwemRsWldaMHMzYjBKcFpGSklNRTFhVlRrM2FGbHdhVmQwTTJ0M1NESXJUbWxFZERRdmVtWmpTbG92UzBsWllqaFJRWGRYTVZSVUx6QlpkVFZXVG1ac1pFSTBkVGxwTTBOWGRraFJWMUZzUld4RU9FMXBZMDFPZEVnd2VWSTVXVVZLTVc1bFFVVmxOMDFWV1VOUWNHcFFOWEJNYzBZNFNGbEZZMEU0WVdwSFNtWmxTVmwySzJwU2RXNW5haTl5Umt4bU1rRldNWGx2TldWb00yY3hPR0Y1UzAwd1JEVkRPSEUwWm13M2QwaFpkMVZPU1hGQ09FUTBUMlZQV2s1ck5tTlllRTVxY2pGM1RqWndXVUpXWTFodmF6bFdhMk5YY1hwb2JEQkZOR05ZWm0wMmNHZzVOR1ExUldSbldHaHdTRzkwTVdaMFVHcFBka1ZJYzFoaloweEdUR3hRTDI4NUszVklOekZXV1dWS1lsQkZUMEl2Vnpoak4wUmxMMEZqU2s0Mk0yazVia2RhZG5GUGMwMU1SME50UTAwemVIZzVlV0ZCY1ZCclMzUk1UVmxxTldKSGFVRnpRa0ZHYW5JMFVuVlRSR2hTZUdVMmJVMWpTV3RxV0haSlJ5OHZRVDA5OnhqOW9IL0ZJTytlTnVRTTVMUEpYL0E9PQ==
free shipping
Sell your book
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: | 9783662570654 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | July of 2018 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 356 |
| Format: | Book |
| Collection: | Texts In Theoretical Computer Science. An Eatcs Series |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9783662570654 |
BOOKS FROM THE SAME COLLECTION
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARD
-
Decision ProcedureseBook10%Springer Berlin Heidelberg72,86€ 10% CARD