Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science - Domenico Cantone - Books - Springer-Verlag New York Inc. - 9780387951973 - June 26, 2001
In case cover and title do not match, the title is correct

Domenico Cantone
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science 2001 edition

Price
HK$ 1,448
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 1 - 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

409 pages, 1 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 26, 2001
ISBN13 9780387951973
Publishers Springer-Verlag New York Inc.
Pages 409
Dimensions 155 × 235 × 23 mm   ·   739 g
Language English  
Contributor J.T. Schwartz

Mere med samme udgiver

See all of Domenico Cantone ( e.g. Paperback Book , Hardcover Book and Book )