Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the original 1st ed. 2001) Loot Price: R4,387

Discovery Miles 43 870

Repayment Terms: R411 pm x 12*

Add to cart

Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the...

Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the original 1st ed. 2001)

Domenico Cantone; Foreword by J.T. Schwartz; Eugenio Omodeo, Alberto Policriti

Series: Monographs in Computer Science

(sign in to rate)

Loot Price R4,387 Discovery Miles 43 870 | Repayment Terms: R411 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Monographs in Computer Science
Release date:	April 2014
First published:	2001
Authors:	Domenico Cantone
Foreword by:	J.T. Schwartz
Authors:	Eugenio Omodeo • Alberto Policriti
Dimensions:	235 x 155 x 22mm (L x W x T)
Format:	Paperback
Pages:	409
Edition:	Softcover reprint of the original 1st ed. 2001
ISBN-13:	978-1-4419-2905-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Applications of computing > General Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	1-4419-2905-3
Barcode:	9781441929051