Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
ISBN-13:
9783662570654
ISBN-10:
3662570653
Edition:
Softcover reprint of the original 2nd ed. 2016
Author:
Daniel Kroening, Ofer Strichman
Publication date:
2018
Publisher:
Springer
Format:
Paperback
377 pages
Category:
Business Technology
,
Microsoft Programming
,
Programming
FREE US shipping
on ALL non-marketplace orders
Book details
ISBN-13:
9783662570654
ISBN-10:
3662570653
Edition:
Softcover reprint of the original 2nd ed. 2016
Author:
Daniel Kroening, Ofer Strichman
Publication date:
2018
Publisher:
Springer
Format:
Paperback
377 pages
Category:
Business Technology
,
Microsoft Programming
,
Programming
Summary
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (ISBN-13: 9783662570654 and ISBN-10: 3662570653), written by authors
Daniel Kroening, Ofer Strichman, was published by Springer in 2018.
With an overall rating of 3.9 stars, it's a notable title among other
Business Technology
(Microsoft Programming, Programming) books. You can easily purchase or rent Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (Paperback) from BooksRun,
along with many other new and used
Business Technology
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $2.75.
Description
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.
We would LOVE it if you could help us and other readers by reviewing the book
{user}
{createdAt}
{truncated_title}
{author_block}
by {truncated_author}
