Decision Procedures: An Algorithmic Point of View
(Bog, Hardback, Engelsk)
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9783662504963
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Formater og udgaver
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Forfattere | Daniel Kroening, Ofer Strichman |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2nd ed. 2016 |
| Udgivelsesdato | 27-01-2017 |
| Første udgivelsesår | 2017 |
| Serie | Texts in Theoretical Computer Science. An EATCS Series |
| Illustrationer | 5 Illustrations, color; 59 Illustrations, black and white; XXI, 356 p. 64 illus., 5 illus. in color. |
| Originalsprog | Germany |
| Sideantal | 356 |
| Indbinding | Hardback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 356 pages, 5 Illustrations, color; 59 Illustrations, black and white; XXI, 356 p. 64 illus., 5 illus |
| Mål | 244 x 165 x 26 |
| ISBN-13 / EAN-13 | 9783662504963 |