Decision procedures :
Kroening, Daniel
Decision procedures : an algorithmic point of view by Daniel Kroening and Ofer Strichman - 2nd ed. - Berlin : Springer, ©2016 - xxi, 356 p. ; 24cm. - Texts in theoretical computer science an EATCS .
Includes index
9783662504963
Algorithms
Software engineering
Computer science
Computers
519.542 / KRO-D
Decision procedures : an algorithmic point of view by Daniel Kroening and Ofer Strichman - 2nd ed. - Berlin : Springer, ©2016 - xxi, 356 p. ; 24cm. - Texts in theoretical computer science an EATCS .
Includes index
9783662504963
Algorithms
Software engineering
Computer science
Computers
519.542 / KRO-D