£71.99

Springer Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

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

View at Amazon

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

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

£72 for 60 days straight · last change was Jan 2026

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

Historical
Generating forecast...
£72.00 £22.83 £33.56 £44.29 £55.01 £65.74 £76.47 10 June 2024 15 November 2024 22 April 2025 27 September 2025 05 March 2026

Price Distribution

Price distribution over 634 days • 7 price levels

Days at Price
Current Price
22 days 5 days 17 days 15 days 18 days 64 days 493 days · current 0 123 247 370 493 £27 £29 £38 £49 £59 £70 £72 Days at Price

Price Analysis

Most common price: £72 (493 days, 77.8%)

Price range: £27 - £72

Price levels: 7 different prices over 634 days

Description

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines, of which some are interpreting and some execute compiled code.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
10 November 2010
Listed Since
20 September 2010

Barcode

No barcode data available

Similar Products You Might Like

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)
97% match

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)

North Holland

£83.00 16 Feb 2026
Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
97% 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
The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)
96% match

The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)

North Holland

£49.99 07 Mar 2026
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
96% match

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

Cambridge University Press

£49.25 21 Feb 2026
Mathematics in Programming
95% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Lisp in Small Pieces
95% match

Lisp in Small Pieces

Cambridge University Press

£79.67 17 Mar 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
95% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.29 05 Feb 2026
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)
95% 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
Implementing Functional Logic Programs: by Translation into Purely Functional Programs
94% match

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Südwestdeutscher Verlag für Hochschulschriften

£70.00 27 Feb 2026
Computability
94% match

Computability

Springer

£47.73 20 Feb 2026
Logic of Computation: SER F / v.157 (NATO ASI)
94% match

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

Springer

£80.56 26 Feb 2026
Programming Languages: An Active Learning Approach
94% 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)
94% 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
ML for the Working Programmer
94% match

ML for the Working Programmer

Cambridge University Press

£57.04 22 Jan 2026
The Calculus of Computation: Decision Procedures with Applications to Verification
94% match

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer

£59.19 11 Feb 2026
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
94% match

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

Springer

£31.47 20 Feb 2026
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
94% match

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

Springer

£32.70 16 Apr 2026
Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
94% match

Introduction to Mathematical Logic (Princeton Mathematical Series, 17)

Princeton University Press

£59.85 28 Jan 2026
Computability: An Introduction to Recursive Function Theory
94% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Introduction to the Theory of Computation
94% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
94% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.33 08 Mar 2026
Introduction to the Theory of Computation
94% match

Introduction to the Theory of Computation

Cengage Learning

£77.95 17 Mar 2026
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
94% match

Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)

Springer

£28.54 11 Mar 2026
Higher-Order Computability (Theory and Applications of Computability)
94% match

Higher-Order Computability (Theory and Applications of Computability)

Springer

£110.68 26 Jan 2026