£76.05

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

£76 today · all-time low £76 (Jul 2026) · usually £76

Springer Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£76.18 £75.63 £75.75 £75.87 £75.99 £76.11 £76.23 25 July 2026 11 August 2026 29 August 2026 15 September 2026 03 October 2026
View at Amazon ↗

Price data last checked 20 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 71 days • 1 price levels

Days at Price
71 days 0 18 36 53 71 £76 Days at Price

Price Analysis

Most common price: £76 (71 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 71 days

Description

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topologyhave to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
16 March 2016
Listed Since
26 December 2014

Barcode

No barcode data available

Similar Products You Might Like

Understanding Concurrent Systems (Texts in Computer Science)
96% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.85 10 Sep 2026
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
95% match

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Wiley

£57.96 02 Oct 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

£87.52 18 Sep 2026
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
95% match

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Morgan & Claypool

£43.09 08 Sep 2026
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
95% match

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer

£44.66 23 Sep 2026
CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)
95% match

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)

Springer

£82.50 30 Sep 2026
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)
95% match

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

£67.95 23 Sep 2026
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)
95% match

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Springer

£44.99 30 Sep 2026
Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
95% match

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Cambridge University Press

£109.69 05 Sep 2026
Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)
95% match

Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)

CRC Press

£87.70 24 Sep 2026
Elsevier Distributed Computing Through Combinatorial Topology
95% match

Elsevier Distributed Computing Through Combinatorial Topology

Elsevier

£60.31 25 Aug 2026
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
95% match

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer

£59.58 12 Sep 2026
Springer Petri Nets: Theoretical Models and Analysis Methods
95% match

Springer Petri Nets: Theoretical Models and Analysis Methods

Springer

£89.77 01 Oct 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
Nature-Inspired Networking: Theory and Applications
94% match

Nature-Inspired Networking: Theory and Applications

CRC Press

£117.25 05 Sep 2026
Handbook of Process Algebra
94% match

Handbook of Process Algebra

Elsevier

£245.00 08 Sep 2026
Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective (IEEE Press Series on Systems Science and Engineering)
94% match

Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective (IEEE Press Series on Systems Science and Engineering)

Wiley

£93.99 25 Sep 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
94% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£100.69 24 Sep 2026
Understanding Control Flow: Concurrent Programming Using μC++
94% match

Understanding Control Flow: Concurrent Programming Using μC++

Springer

£39.89 23 Sep 2026
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
94% match

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Birkhauser

£62.98 09 Sep 2026
Reconfigurable and Adaptive Computing: Theory and Applications
94% match

Reconfigurable and Adaptive Computing: Theory and Applications

CRC Press

£74.23 17 Sep 2026
Temporal Verification of Reactive Systems: Safety
94% match

Temporal Verification of Reactive Systems: Safety

Springer

£59.94 08 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

£89.99 13 Sep 2026
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science): Series Number 50
94% 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