£52.53

Springer A Programming Approach to Computability (Monographs in Computer Science)

Price data last checked 93 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£53 today · cheaper than every other day in the last 7 months

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 127 days • 127 data points (No recent data available)

Historical
Generating forecast...
£59.97 £51.79 £53.57 £55.36 £57.14 £58.93 £60.71 02 November 2025 03 December 2025 04 January 2026 04 February 2026 08 March 2026

Price Distribution

Price distribution over 127 days • 3 price levels

Days at Price
Current Price
17 days 26 days 84 days 0 21 42 63 84 £53 £54 £60 Days at Price

Price Analysis

Most common price: £60 (84 days, 66.1%)

Price range: £53 - £60

Price levels: 3 different prices over 127 days

Description

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the develop ment of mathematical techniques to allow the rigorous specification of program, process, and machine.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
08 November 2011
Listed Since
21 December 2012

Barcode

No barcode data available

Similar Products You Might Like

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
97% match

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Chapman and Hall/CRC

£85.97 23 Jan 2026
Theory of Computation: Automata, Formal Languages, Computation and Complexity
97% match

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer

£84.49 15 Feb 2026
Algebraic Complexity Theory: 315 (Grundlehren der mathematischen Wissenschaften, 315)
97% match

Algebraic Complexity Theory: 315 (Grundlehren der mathematischen Wissenschaften, 315)

Springer

£101.05 23 Jan 2026
What Can Be Computed? – A Practical Guide to the Theory of Computation
97% match

What Can Be Computed? – A Practical Guide to the Theory of Computation

Princeton University Press

£39.35 25 Jan 2026
Introduction to the Theory of Computation
96% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026
Introduction to the Theory of Computation
96% match

Introduction to the Theory of Computation

Cengage Learning

£77.95 17 Mar 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

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

Springer

£46.83 10 Apr 2026
Theory of Computation
96% match

Theory of Computation

Wiley

£84.57 09 Mar 2026
Computability Theory: An Introduction to Recursion Theory
96% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026
The Foundations of Computability Theory
96% match

The Foundations of Computability Theory

Springer

£45.90 15 Feb 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

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

£61.35 14 Jan 2026
Computability
96% match

Computability

Springer

£47.73 20 Feb 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
96% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£46.10 25 Feb 2026
Higher-Order Computability (Theory and Applications of Computability)
96% match

Higher-Order Computability (Theory and Applications of Computability)

Springer

£110.68 26 Jan 2026
Springer Higher-Order Computability Theory and Applications
96% match

Springer Higher-Order Computability Theory and Applications

Springer

£119.24 20 Feb 2026
COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming
96% match

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

LAP Lambert Academic Publishing

£69.00 01 Apr 2026
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
96% match

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Springer

£57.02 08 Mar 2026
Logic and Language Models for Computer Science: Third Edition
96% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
96% match

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Springer

£143.97 14 Feb 2026
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
96% match

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Springer

£151.65 09 Feb 2026
Computability: An Introduction to Recursive Function Theory
96% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£133.00 01 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026
A Programmer's Companion to Algorithm Analysis
96% match

A Programmer's Companion to Algorithm Analysis

CRC Press

£67.15 08 Mar 2026