10% OFF

Decision Procedures

An Algorithmic Point Of View

by Ofer Strichman e Daniel Kroening
language: english
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, July of 2018 ‧
74,34€
10% OFF CARD
free shipping
Sell ​​your book
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.

Decision Procedures

An Algorithmic Point Of View

by Ofer Strichman e Daniel Kroening

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