Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$189.99
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
ISBN: 0387951970 Author: Cantone, Domenico Condition: New Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with ...