Decision Procedures
An Algorithmic Point of View
-
- $59.99
-
- $59.99
Publisher 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.
GENRE
Computing & Internet
RELEASED
2008
29 April
LANGUAGE
EN
English
LENGTH
322
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
10.1
MB