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
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Language
English
English
Book
Paperback
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin...
Full description
Libristo code: 01421647
?
373 b
373 b
154.39
€
In stock at our supplier
Shipping in 5-8 days
30-day return policy
Customers also purchased
/
Map
9.30
€
/
Paperback
17.90
€
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
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
Set Theory for Computing
Language
English
English
Binding
Book - Paperback
Date of issue
2011
Number of pages
409
EAN
9781441929051
ISBN
1441929053
Libristo code
01421647
Publishers
Springer-Verlag New York Inc.
Weight
652
Dimensions
155 x 235 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
/
Paperback
30.85
€
/
Hardback
245.75
€
/
Hardback
122.31
€