Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Language
English
English
Book
Hardback
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
Libristo code: 02981250
?
122 b
122 b
50.31
€
In stock at our supplier
Shipping in 10-18 days
30-day return policy
Customers also purchased
/
Paperback
16.46
€
/
Hardback
10.10
€
/
Paperback
18.99
€
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.§
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Decision Procedures
Author
Daniel Kroening, Ofer Strichman
Language
English
English
Binding
Book - Hardback
Date of issue
2017
Number of pages
356
EAN
9783662504963
ISBN
3662504960
Libristo code
02981250
Weight
722
Dimensions
165 x 244 x 26
