£78.26

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

Price data last checked 22 day(s) ago - will refresh soon

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.

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

Historical
Generating forecast…
£80.28 £78.06 £78.54 £79.03 £79.51 £80.00 £80.48 08 July 2026 25 July 2026 11 August 2026 28 August 2026 14 September 2026

Price Distribution

Price distribution over 69 days • 2 price levels

Days at Price
Current Price
60 days · current 9 days 0 15 30 45 60 £79 £80 Days at Price

Price Analysis

Most common price: £79 (60 days, 87.0%)

Price range: £79 - £80

Price levels: 2 different prices over 69 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.

Key Features

Used Book in Good Condition

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
18 February 2005
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Lambda Calculus with Types (Perspectives in Logic)
82% match

Lambda Calculus with Types (Perspectives in Logic)

Cambridge University Press

£73.78 25 Aug 2026
An Introduction to Formal Languages and Machine Computation
81% match

An Introduction to Formal Languages and Machine Computation

Scientific Publishing

£68.00 12 Sep 2026
Modern Language Models and Computation: Theory with Applications
80% match

Modern Language Models and Computation: Theory with Applications

Springer

£74.21 05 Aug 2026
Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
80% match

Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Cambridge University Press

£138.99 06 Aug 2026
Programming with Higher-Order Logic
79% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 05 Aug 2026
Computational Semantics with Functional Programming
79% match

Computational Semantics with Functional Programming

Cambridge University Press

£90.20 17 Aug 2026
A Theory of Objects (Monographs in Computer Science)
79% match

A Theory of Objects (Monographs in Computer Science)

Springer

Price unavailable
Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)
79% match

Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)

Springer

£122.79 08 Aug 2026
The Language of Design: Theory and Computation
79% match

The Language of Design: Theory and Computation

Springer

£71.18 08 Aug 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
78% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.57 05 Aug 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
78% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 06 Aug 2026
Algorithms for Functional Programming
78% match

Algorithms for Functional Programming

Springer

£65.44 05 Aug 2026
Handbook of Philosophical Logic: Volume 15
78% match

Handbook of Philosophical Logic: Volume 15

Springer

£111.02 04 Aug 2026
Multithreaded Computer Architecture: A Summary of the State of the ART: 281 (The Springer International Series in Engineering and Computer Science, 281)
78% match

Multithreaded Computer Architecture: A Summary of the State of the ART: 281 (The Springer International Series in Engineering and Computer Science, 281)

Springer

£158.00 08 Aug 2026
Advanced Computer Architecture: Studying the computer organization
78% match

Advanced Computer Architecture: Studying the computer organization

LAP Lambert Academic Publishing

£62.00 19 Aug 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
78% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£50.25 07 Aug 2026
Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)
78% match

Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)

Springer

£73.85 06 Aug 2026
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
78% match

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Springer

£188.03 08 Aug 2026
Foundations of Computational Linguistics: Human-Computer Communication in Natural Language
78% match

Foundations of Computational Linguistics: Human-Computer Communication in Natural Language

Springer

£62.91 08 Aug 2026
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era
78% match

Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Springer

£87.40 04 Aug 2026
Approximate Computing Techniques: From Component- to Application-Level
78% match

Approximate Computing Techniques: From Component- to Application-Level

Springer

£89.28 09 Sep 2026
A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components
78% match

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

Springer

£76.42 29 Jul 2026
Computer Organization: Computer Organization and Architecture
78% match

Computer Organization: Computer Organization and Architecture

LAP Lambert Academic Publishing

£53.00 29 Aug 2026
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
77% match

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£88.12 31 Aug 2026