Free delivery for orders over 69.99 euro.
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
Free delivery for purchases over 69.99 €
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Contact
How to shop
Help
Delivery
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Free delivery for purchases over 69.99 €
Shopping guide
My account
▸
Empty :-(
0
Free delivery for orders over 69.99 euro.
Language
English
English
Book
Paperback
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
Libristo code: 20119732
?
89 b
89 b
36.77
€
In stock at our supplier
Shipping in 10-18 days
30-day return policy
Customers also purchased
/
Hardback
16.26
€
/
Paperback
10.80
€
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 - Paperback
Date of issue
2018
Number of pages
356
EAN
9783662570654
Libristo code
20119732
Weight
580
Dimensions
233 x 156 x 24
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
33.54
€
/
Paperback
14.95
€
