Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
by Domenico Cantone
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 26-Jun-2001 |
| ISBN-10: | 0387951970 |
| ISBN-13: | 9780387951973 |
| Binding Type: | Hardback |
| Weight: | 966 gms |
| Pages: | pp. 432, Illus. |
The Title "Set Theory for Computing From Decision Procedures to Declarative Programming with Sets 1st Edition" is written by Domenico Cantone. This book was published in the year 2001. The ISBN number 0387951970|9780387951973 is assigned to the Hardback version of this title. This book has total of pp. 409 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Set Theory for Computing From Decision Procedures to Declarative Programming with Sets 1st Edition is currently Available with us.