£42.50

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£43 today · all-time low £41 (Aug 2026) · usually £43

Springer Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical
Generating forecast…
£42.72 £40.73 £41.16 £41.60 £42.03 £42.47 £42.90 25 July 2026 12 August 2026 30 August 2026 17 September 2026 06 October 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 74 days • 2 price levels

Days at Price
Current Price
48 days 26 days · current 0 12 24 36 48 £41 £43 Days at Price

Price Analysis

Most common price: £41 (48 days, 64.9%)

Price range: £41 - £43

Price levels: 2 different prices over 74 days

Description

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
23 December 1999
Listed Since
12 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science): Series Number 50
96% match

Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science): Series Number 50

Cambridge University Press

£61.63 03 Oct 2026
Applications of Process Algebra: 17 (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
96% match

Applications of Process Algebra: 17 (Cambridge Tracts in Theoretical Computer Science, Series Number 17)

Cambridge University Press

£42.48 08 Sep 2026
Handbook of Process Algebra
96% match

Handbook of Process Algebra

Elsevier

£245.00 08 Sep 2026
Process Management: A Multi-disciplinary Guide to Theory, Modeling, and Methodology (Progress in IS)
95% match

Process Management: A Multi-disciplinary Guide to Theory, Modeling, and Methodology (Progress in IS)

Springer

£92.22 19 Sep 2026
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
95% match

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Springer

£40.98 23 Sep 2026
Process Modelling
95% match

Process Modelling

Springer

£77.49 25 Sep 2026
A Process Algebraic Approach to Software Architecture Design
94% match

A Process Algebraic Approach to Software Architecture Design

Springer

£39.77 23 Sep 2026
Intelligentes Prozessmanagement: Marktanteile ausbauen, Qualität steigern, Kosten reduzieren
94% match

Intelligentes Prozessmanagement: Marktanteile ausbauen, Qualität steigern, Kosten reduzieren

Springer

£57.26 13 Sep 2026
Process Management: A Guide for the Design of Business Processes
94% match

Process Management: A Guide for the Design of Business Processes

Springer

£49.04 19 Sep 2026
PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
94% match

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

World Scientific Publishing Company

£61.32 02 Oct 2026
Business Process Excellence: ARIS in Practice
94% match

Business Process Excellence: ARIS in Practice

Springer

£39.77 09 Oct 2026
Process Theories: Crossdisciplinary Studies in Dynamic Categories
94% match

Process Theories: Crossdisciplinary Studies in Dynamic Categories

Springer

£84.76 13 Aug 2026
Handbook of Research on Business Process Modeling
94% match

Handbook of Research on Business Process Modeling

Information Science Reference

£84.30 14 Aug 2026
High Performance Through Business Process Management: Strategy Execution in a Digital World
94% match

High Performance Through Business Process Management: Strategy Execution in a Digital World

Springer

£65.61 23 Sep 2026
Introduction to Process Technology
94% match

Introduction to Process Technology

Cengage Learning

£80.24 06 Oct 2026
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
94% match

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£42.52 09 Sep 2026
Prozessmanagement: Modelle und Methoden
94% match

Prozessmanagement: Modelle und Methoden

Springer

£46.99 23 Sep 2026
Business Enterprise, Process, and Technology Management: Models and Applications
94% match

Business Enterprise, Process, and Technology Management: Models and Applications

IGI Global

£184.00 24 Sep 2026
Guide du management par les Processus: V4 BPM CBOK enrichi au niveau européen et traduit par les experts du Club des Pilotes de Processus
94% match

Guide du management par les Processus: V4 BPM CBOK enrichi au niveau européen et traduit par les experts du Club des Pilotes de Processus

AFNOR

£47.53 03 Oct 2026
Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)
94% match

Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£39.77 09 Oct 2026
Prozessmanagement für Experten: Impulse für aktuelle und wiederkehrende Themen
94% match

Prozessmanagement für Experten: Impulse für aktuelle und wiederkehrende Themen

Springer

£81.68 13 Sep 2026
Transitions and Trees: An Introduction to Structural Operational Semantics
94% match

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge University Press

£31.50 26 Aug 2026
Process-Based Management Systems for High Reliability Organizations
94% match

Process-Based Management Systems for High Reliability Organizations

CREATESPACE

£61.33 12 Aug 2026
Process Groups: A Practice Guide
94% match

Process Groups: A Practice Guide

Project Management Institute

£40.27 30 Sep 2026