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

£83.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: 83.91 GBP
Availability: InStock

Introduction to Programming

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£84 today · all-time low £83 (May 2026) · usually the usual

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 46 days · 46 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 46 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £83 (32 days, 69.6%)

Price range: £83 - £85

Price levels: 3 different prices over 46 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 > Programming > Introduction to Programming
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)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

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)

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory (second Edition)

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)

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)

Set Theory for the Working Mathematician: Krzysztof Ciesielski: 39 (London Mathematical Society Student Texts, Series Number 39)

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

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: 48 (London Mathematical Society Student Texts, Series Number 48)

LMSST: 48 Set Theory (London Mathematical Society Student Texts, Series Number 48)