Daniel Kroening
Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series Daniel Kroening Softcover reprint of the original 2nd ed. 2016 edition

Name: Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series
Price: 64.49 USD
Availability: OutOfStock
Author: Daniel Kroening

Price

$ 64.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 8

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Also available as:

Hardcover Book

2nd ed. 2016 edition

(2017) $ 84.49

Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series

Daniel Kroening

Softcover reprint of the original 2nd ed. 2016 edition

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.

356 pages, 5 Illustrations, color; 59 Illustrations, black and white; XXI, 356 p. 64 illus., 5 illus

Media	Books Paperback Book (Book with soft cover and glued back)
Released	July 13, 2018
ISBN13	9783662570654
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	356
Dimensions	233 × 156 × 24 mm · 582 g
Language	German