Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) 2nd ed. 2016 Edition by Daniel Kroening, Ofer Strichman

$16.88

13 in stock