£32.70

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

26344446

Price data last checked 54 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.

£33 today · cheaper than every other day in the last 3 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 37 days • 37 data points (No recent data available)

Historical
Generating forecast...
£32.70 £31.07 £31.72 £32.37 £33.03 £33.68 £34.34 11 March 2026 20 March 2026 29 March 2026 07 April 2026 16 April 2026

Price Distribution

Price distribution over 37 days • 1 price levels

Days at Price
37 days 0 9 19 28 37 £33 Days at Price

Price Analysis

Most common price: £33 (37 days, 100.0%)

Price range: £33 - £33

Price levels: 1 different prices over 37 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
hardcover
Domain
Amazon UK
Release Date
10 April 2017
Listed Since
15 June 2016

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

£31.47 20 Feb 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
Higher-Order Computability (Theory and Applications of Computability)
95% match

Higher-Order Computability (Theory and Applications of Computability)

Springer

£110.68 26 Jan 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
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
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
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
Introduction to the Theory of Computation
95% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 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
Concrete Semantics: With Isabelle/HOL
95% match

Concrete Semantics: With Isabelle/HOL

Springer

£41.29 28 Feb 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
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
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
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
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
Computability Theory: An Introduction to Recursion Theory
95% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026