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

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

by Daniel Kroening (Author), Daniel Kroening (Author), Ofer Strichman (Contributor)

$53.30

Save:$3.20 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 377
Edition: Softcover reprint of the original 2nd ed. 2016
Publisher: Springer
Published: 13 Jul 2018

ISBN 10: 3662570653
ISBN 13: 9783662570654