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

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

New
Hardcover
2017
$102.83

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.

Synopsis

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.

$102.83

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 377
Edition: 2nd ed. 2016
Publisher: Springer
Published: 27 Jan 2017
ISBN 10: 3662504960
ISBN 13: 9783662504963

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

New

$102.83

Synopsis

$102.83

More Information