*Result*: Decision procedures
*Title*:
Decision procedures : an algorithmic point of view / Daniel Kroening ; Ofer Strichman ; foreword by Randal E. Bryant
*Author/editor-in-chief*:
*Publication*:
Berlin [u.a.] : Springer, 2010
*Physical description scale*:
XVI, 304 S. : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
Texts in theoretical computer science. an EATCS series
*Subject Added Keywords*:
*ISBN*:
9783642093449