The Calculus of Computation: Decision Procedures with Applications to Verification - Image 1

£63.84

Springer The Calculus of Computation: Decision Procedures with Applications to Verification

Name: The Calculus of Computation: Decision Procedures with Applications to Verification
Brand: Springer
Price: 63.84 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£64 today · previous high £64 · all-time low £59

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

Historical

Generating forecast…

Price Distribution

Price distribution over 63 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £59 (46 days, 73.0%)

Price range: £59 - £64

Price levels: 4 different prices over 63 days

Description

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540741127
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 September 2007
Listed Since: 02 August 2007

Barcode

No barcode data available

Springer The Calculus of Computation: Decision Procedures with Applications to Verification

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computability In Context: Computation And Logic In The Real World

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Computability and Logic

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Logic of Computation: SER F / v.157 (NATO ASI)

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)

Theory of Computation (Texts in Computer Science)

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

CRC Press Theory and Practice of Computation WCTP 2019

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Introduction to Metamathematics (Bibliotheca Mathematica)

The Foundations of Computability Theory

The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)

Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Proofs and Computations (Perspectives in Logic)

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Computability

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings