£31.47

Springer Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

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

View at Amazon

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

Same price for 10 weeks. Today is much like next week.

£31 for 72 days straight · last change was Dec 2025

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

Historical
Generating forecast...
£41.86 £23.30 £27.35 £31.40 £35.45 £39.50 £43.55 01 July 2025 28 August 2025 26 October 2025 23 December 2025 20 February 2026

Price Distribution

Price distribution over 235 days • 5 price levels

Days at Price
Current Price
20 days 40 days 158 days · current 13 days 4 days 0 40 79 119 158 £25 £30 £31 £36 £42 Days at Price

Price Analysis

Most common price: £31 (158 days, 67.2%)

Price range: £25 - £42

Price levels: 5 different prices over 235 days

Description

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models. The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
18 July 2018
Listed Since
18 July 2018

Barcode

No barcode data available

Similar Products You Might Like

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
99% match

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£32.70 16 Apr 2026
Computability
96% match

Computability

Springer

£47.73 20 Feb 2026
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)
96% match

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)

Springer

£88.27 12 Apr 2026
A Programming Approach to Computability (Monographs in Computer Science)
96% match

A Programming Approach to Computability (Monographs in Computer Science)

Springer

£52.53 08 Mar 2026
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
95% match

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Cambridge University Press

£49.25 21 Feb 2026
Theory of Computation
95% match

Theory of Computation

Wiley

£84.57 09 Mar 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
95% match

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

Springer

£46.83 10 Apr 2026
Higher-Order Computability (Theory and Applications of Computability)
95% match

Higher-Order Computability (Theory and Applications of Computability)

Springer

£110.68 26 Jan 2026
Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings: 4484 (Lecture Notes in Computer Science, 4484)
95% match

Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings: 4484 (Lecture Notes in Computer Science, 4484)

Springer

£61.00 08 Mar 2026
Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
95% match

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Cambridge University Press

£49.36 27 Feb 2026
Reflections on the Work of C.A.R. Hoare
95% match

Reflections on the Work of C.A.R. Hoare

Springer

£107.73 12 Apr 2026
Concrete Semantics: With Isabelle/HOL
95% match

Concrete Semantics: With Isabelle/HOL

Springer

£41.29 28 Feb 2026
Theory of Computation (Texts in Computer Science)
95% match

Theory of Computation (Texts in Computer Science)

Springer

£63.52 07 Jan 2026
Springer Higher-Order Computability Theory and Applications
95% match

Springer Higher-Order Computability Theory and Applications

Springer

£119.24 20 Feb 2026
Introduction to the Theory of Computation
95% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
95% match

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

£61.35 14 Jan 2026
Programming Languages: An Active Learning Approach
95% match

Programming Languages: An Active Learning Approach

Springer

£78.50 07 Mar 2026
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)
95% match

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)

Springer

£84.22 04 Apr 2026
Logic and Language Models for Computer Science: Third Edition
95% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Introduction to the Theory of Computation
95% match

Introduction to the Theory of Computation

Cengage Learning

£77.95 17 Mar 2026
What Can Be Computed? – A Practical Guide to the Theory of Computation
95% match

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

Princeton University Press

£39.35 25 Jan 2026
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
95% match

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Springer

£85.47 28 Feb 2026
Reflections on Programming Systems: Historical and Philosophical Aspects: 133 (Philosophical Studies Series, 133)
95% match

Reflections on Programming Systems: Historical and Philosophical Aspects: 133 (Philosophical Studies Series, 133)

Springer

£101.05 27 Feb 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£53.52 06 Apr 2026