Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
by Domenico Cantone
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 21-Sep-2011 |
| ISBN-10: | 1441929053 |
| ISBN-13: | 9781441929051 |
| Binding Type: | Paperback |
| Weight: | 1.54 lbs |
| Pages: | pp. 428, 67 Illus. |
The Title "Set Theory for Computing From Decision Procedures to Declarative Programming with Sets" is written by Domenico Cantone. This book was published in the year 2012. The ISBN number 1441929053|9781441929051 is assigned to the Paperback version of this title. This book has total of pp. xviii + 409 (Pages). The publisher of this title is Springer. We have about 98363 other great books from this publisher. Set Theory for Computing From Decision Procedures to Declarative Programming with Sets is currently Available with us.