Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by Domenico Cantone (Author), Alberto Policriti (Author), Domenico Cantone (Author), Eugenio Omodeo (Author)

New
Illustrated
2001
$177.12

$177.12

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 432
Edition: 2001
Publisher: Springer
Published: 26 Jun 2001
ISBN 10: 0387951970
ISBN 13: 9780387951973

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

New

$177.12

$177.12

More Information