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
UlV4T1MySTNSV0pWVTJWbGEyTkhNMG9yVkVzNFIzUnBRMmRMV2xSWGExTmhMelZ6TmtadGVHbHRkVlV6Y0N0SmVYVnhlalJ0UTNWc05VZE9hRWhYSzBGUk1GbERSR1JoWmpGcGFISmlaMHBWVm01RlZHWkJjMGh4WlU1RU5ISktNV3hwUTFkRVExQnRTVlJHVHpJMmRsaHBkM000T1hWUFdIZzBkVGRoYXpWdFVFazFPRzlqY1M5a1EzUTFRazlpYVhkelduRm5lbXgzZWtJd2FqRm1aMVU1U0ZGUWJYcHBTSEpFZGsxQk1YWTVRVXdyWjNwdlJXWjBOVmhtTnpKQ1VuQjVkamR6UjJoUU5rSkVabHB6ZGt4NlluSmpXSEp6TjFsck1YVnJUa0ZYWVdFNU0xSnhMM1V6VFhWSFNsaDFkakpaVURoemJHSklVVTFTVkVsblptcDRLMmxsY1VKTFJEaG9RVVJEUzNKSmEwUkdkSEJEWlUweFR6Um1ZamhaYVZjNGFXZG1RbVV3VDI5bVFVTnBVRlZUYlRrNFFXZHJLMUJXTVVRNWFGQm1kRlZVYWxoNFMwMUZNREZsV0UxSVlXNVdjbkJTWVZWT09IZ3paakowY2xCeGMxbzVMMlIzU0RKeWFHOXdOMmRTYzFrNEwzRTJhbWN2VVVrMlJqRklVQzlyY3pOcVUxTmpNRUowYm5WbmJHVkhUMDl2WjNZNU9HRlpUbFpEUW5wYVQzcENlRnBxUVU1a1ZERXlObU5vYnpKc09WSnZjMVJrU1cxVVZVZFRTbTVsSzBKU1lrOXBNM1ExZGpOMVNXOVlSRlo2T1ZsQ2JrUkdSMGhaTkVKMlUxRXZVbEl4VVRGRlozUnVjbXRGZEZWVlptSmFOVWxGT1dsVFZtTXlja3hpUjFCTlVEWklMMGR5VW1oTFF6ZHNhRzVzTDBWMlNrOXRVSFlyWWpSTkwyRm5ZbVZMWjBGVlF6Vk9Va016YUVzMk4xVm9UMWhPZWxsUWJHRmFZelpPUzFsbE4zSk9NVFpZVmtzMVZuaEhTV2xMVlhCMGRtNVRaMDlSZFVwQ1VFSm1WalozY0dNelRVSkdNVVpVY3pOUU1EWk5WWE13VG05U1IzQnphSGd6UWtadFdtMW1TbXhUWTNWbFJpOUNjbVJpY0hsU2VHZ3lTR3M1UmxCemFVOTBjR0ZLWldkVFJYZ3lhbkpFVm1kRlExVnNRbUpCY2pneVNsVlFjRGxFZEZFNFJqQk1hRzVWTDJOMmIzTnRUVVpoZDFCdlVsTk9WMkZIV2tkamEyRmxWbXhYUnpBMlpuTnJabmxOY0hRMWFteEpTWEJ0YW5Ob1RuWjFSM1I1VGtORFRIZFZRbTlPVm5ONVRuRjVURTlZY2trM1J6QmpaejA5OlZCd2VJOEFjOEw3Q2k2OXJZQS92WWc9PQ==
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
-
eBook10%Formal Methods For Software EngineeringSpringer International Publishing72,86€ 10% CARD
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping