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

by OferStrichman (Author), Daniel Kroening (Author), R.E.Bryant (Foreword)

• New

  Hardcover
  2008

  $88.39

  This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.