£41.26

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

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£41 today · all-time low £41 (Mar 2026) · usually the usual

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

Historical
Generating forecast...
£41.36 £40.86 £40.97 £41.08 £41.19 £41.30 £41.41 19 March 2026 28 March 2026 06 April 2026 15 April 2026 25 April 2026

Price Distribution

Price distribution over 38 days • 1 price levels

Days at Price
38 days 0 10 19 29 38 £41 Days at Price

Price Analysis

Most common price: £41 (38 days, 100.0%)

Price range: £41 - £41

Price levels: 1 different prices over 38 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: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)
96% match

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

Cambridge University Press

£62.68 20 Apr 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

£37.52 16 Feb 2026
Handbook of Process Algebra
96% match

Handbook of Process Algebra

Elsevier

£245.00 15 Feb 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

£91.63 01 Mar 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

£44.95 07 Mar 2026
Process Modelling
95% match

Process Modelling

Springer

£89.99 10 Mar 2026
A Process Algebraic Approach to Software Architecture Design
94% match

A Process Algebraic Approach to Software Architecture Design

Springer

£39.18 07 Mar 2026
Intelligentes Prozessmanagement: Marktanteile ausbauen, Qualität steigern, Kosten reduzieren
94% match

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

Springer

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

Process Management: A Guide for the Design of Business Processes

Springer

£73.91 01 Mar 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

£63.00 16 Apr 2026
Business Process Excellence: ARIS in Practice
94% match

Business Process Excellence: ARIS in Practice

Springer

£39.73 01 May 2026
Process Theories: Crossdisciplinary Studies in Dynamic Categories
94% match

Process Theories: Crossdisciplinary Studies in Dynamic Categories

Springer

£84.72 12 Jun 2026
Handbook of Research on Business Process Modeling
94% match

Handbook of Research on Business Process Modeling

Information Science Reference

£40.35 12 Jun 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.02 08 Mar 2026
Introduction to Process Technology
94% match

Introduction to Process Technology

Cengage Learning

£74.99 24 Apr 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.05 17 Feb 2026
Prozessmanagement: Modelle und Methoden
94% match

Prozessmanagement: Modelle und Methoden

Springer

£46.70 07 Mar 2026
Business Enterprise, Process, and Technology Management: Models and Applications
94% match

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

IGI Global

£194.00 08 Mar 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

£48.25 20 Apr 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.73 01 May 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

£74.99 26 Feb 2026
Transitions and Trees: An Introduction to Structural Operational Semantics
94% match

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge University Press

£43.63 29 Jan 2026
Process-Based Management Systems for High Reliability Organizations
94% match

Process-Based Management Systems for High Reliability Organizations

CREATESPACE

£61.33 11 Jun 2026
Process Groups: A Practice Guide
94% match

Process Groups: A Practice Guide

Project Management Institute

£36.28 08 Apr 2026