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

£87.91

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

Name: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Brand: Springer
Price: 87.91 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£88 today · usual range £0–£0 · best ever £20

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 549 days • 549 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 549 days • 3 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £20-46 (261 days, 47.5%)

Price range: £20 - £149

Price levels: 3 price ranges over 549 days

Description

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 crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification; and automated deduction. The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to exploit it in specification and verification and master it by symbolic, logically based techniques and methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0387951970
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 26 June 2001
Listed Since: 10 December 2006

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Sets And Computations: 33 (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)

Notes on Set Theory (Undergraduate Texts in Mathematics)

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory: 1

Sets and Extensions in the Twentieth Century (Volume 6) (Handbook of the History of Logic, Volume 6)

Set Theory: Exploring Independence and Truth (Universitext)

Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Set Theory and Its Applications (Contemporary Mathematics)

The Palgrave Companion to the Philosophy of Set Theory

Set Theory: A First Course (Cambridge Mathematical Textbooks)

Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

The Foundations of Mathematics in the Theory of Sets: 82 (Encyclopedia of Mathematics and its Applications, Series Number 82)

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

Set Theory, Logic and their Limitations

Discovering Modern Set Theory: The Basics Pt.1 (Graduate Studies in Mathematics)

Set Theory for Pre-Beginners: An Elementary Introduction to Sets, Relations, Partitions, Functions, Equinumerosity, Logic, Axiomatic Set Theory, Ordinals, and Cardinals

Introduction to Set Theory, Revised and Expanded: Third Edition, Revised and Expanded: 220 (Chapman & Hall/CRC Pure and Applied Mathematics)

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

Problems and Theorems in Classical Set Theory (Problem Books in Mathematics)