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
  • List Price: $79.99
  • ISBN-10: 3662504960
  • ISBN-13: 9783662504963
  • Edition: 2nd
  • Type: Hardcover
  • Publisher: Springer

About The Book

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that... Read more

FINDING THE BEST PRICES

Related Books

CSS3: Visual QuickStart Guide (5th Edition)
  • Year: 2010
  • Edition: 5th
  • Publisher: Peachpit Press
  • Type: Paperback
  • ISBN13: 9780321719638
  • ISBN: 0321719638
The Non-Designer's Design Book (3rd Edition)
  • Year: 2008
  • Edition: 3rd
  • Publisher: Peachpit Press
  • Type: Paperback
  • ISBN13: 9780321534040
  • ISBN: 0321534042
HTML5 & CSS3 Visual QuickStart Guide (7th Edition)
  • Year: 2011
  • Edition: 7th
  • Publisher: Peachpit Press
  • Type: Paperback
  • ISBN13: 9780321719614
  • ISBN: 0321719611