adicionar à lista de desejos
Decision Procedures
An Algorithmic Point Of View
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, January of 2017 ‧
see product details
94,62€
10% OFF
CARD
YTB4V1VGZHphREpxV21WR01GaERkR1ZXY25NMmRtSkVURWRUTUhaaWRuTk9OR05HWW5KaGRHOW5NVlpJVGxWRFRVTjZVMmRUUlZwM1oyMXNjelpRYjNKQlZXMXRkbkpvV0dOVWVsWmFPRFptYmtKRU1HZEpjR2xHTkU0emFYb3JNVW81WWpSamQzTkpVRkF2TjJGaEwxSmFRemcxYUUxeVNVbFRXbXBtZUdoa05VTm5Memd4VlZoR2FTOUxVVVZYYWtkSldFOHdhekUxTmxaRk5UWk5kMHR5UTFaYVZFSTFXR05LY0hOQ016aFhkVEp0U0cxdVNrOUNOMDlVYUZWdVYyMTZRekZzVnpkMlZXOU9RbkpwTVRZMGMyUnlkamwyTTNCTGMxZHJWMGwzWmtjNFdEZzVLMjlGV2pGMFNXSlFhV3R5WkdKdVdIQk5SWFZ0T1RGMmQycGxPVUZ1ZVZwRGJTc3dWekpMZGsxR1psaG5lV3RRUTNKMWNtSmhURUpCTlVaYVdHTXlOVGRrYWtWdFVFeEdkM014Y0RKSFQwVTFiM1JuZFRsblltMVVNR1JLTUN0VFdFMXVaMUZtWm1GSVUyWkNhR0paUWt4T2IxbHdhaXRIY0VsU1NEaFJhME5aZDNVcllqaFBTRGc1TkhwU1IyTjFNMEZ5YTNSSlJtdzFWRFU0WW1kU1pYRkxaMHRzVVVoT1JrMWpkV3hTVTFKdVJtdE9kVTV5WkdSR1IzVlFXbE5DTkdwNVpDdDJWMFo1ZG5WR2JtVXlSVmxJUm5KTWRETlJiM3BZZVdkSlowbG5hV2hyZEVwV1ZGcFJUMm8wV0VSVlJUWXlkazVEV1dSNmJHMDBUMVl6TVZsVmNUZzVVVGhZWVd4NU4wcHVLMUYxWkcxcU0zaEhlRTlIWVV4aFEyRTRaVlpoT0cxQlIwTklRVWN5Tm5OcWVYbFVjVWQ2YVdjeWFrOHJUVGhXUmt4UFVuWm1NalJXZUdzM1ZqWjFVaTg0YW1WNVoyUnVNa00zVFUxUWFFWk1UazQzTkcxdlFVOW9kMUF4YVRGRFNEZFRURTlCUzJsWlFrZzViR05FYW1oNFpVaFVUVFZsTTNKRlZURkdjR2NyZUVabE5GUXlRM1ZOYVZwdVowZFRORkoxWlhKSmRIZGtTVWxPVmpkVlYxWjRXVVU1T0hsRVoyRlJaVFp4YjJVek4xZGllRkI0ZEZKbGFHZHRaV1ZZWjBrclZGRjFLMU5UTTBWSU5XUlJNR1l6ZUUxSk1rcGtXVXAxWTBwa05WY3JZbE5PSzJkQmVXTlpSRzVYVmtKTFZsSnplV280VUhvNE5qRXJjbk5RVXpOYWNDc3djbUpYYVRacVYwVnVWVlpGZGtGeE1sZENWemxxU0ZGcmRVZEJaejA5Om8xc0QzcVJhazhvSnlJNk5JbWc5enc9PQ==
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: | 9783662504963 |
| Publisher: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Release Date: | January of 2017 |
| Language: | English |
| Dimensions: | 155 x 235 x 22 mm |
| Cover: | Hardcover |
| Pages: | 356 |
| Format: | Book |
| Collection: | Texts In Theoretical Computer Science. An Eatcs Series |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Others |
| EAN: | 9783662504963 |
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