£76.38

Springer Directed Algebraic Topology and Concurrency Book

Name: Springer Directed Algebraic Topology and Concurrency Book
Brand: Springer
Price: 76.38 GBP
Availability: InStock

Computer Science

This is the most expensive it has ever been. Walk away.

£76 today · previous high £76 · all-time low £76

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

Historical

Generating forecast…

Price Distribution

Price distribution over 30 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £76 - £76

Price levels: 1 different prices over 30 days

Description

Directed Algebraic Topology and Concurrency by Springer offers a specialized look at applying algebraic topology methods to concurrent processes in computer science. This monograph moves from established discrete models used in resource management to more refined combinatorial and topological models. Readers will explore the development of tools and invariants within the emerging discipline of directed algebraic topology. This field is driven by research interests and practical applications, specifically regarding the static analysis of concurrent programs. By examining the state space of concurrent systems, this book provides a mathematical foundation for understanding complex computational processes. It is a valuable resource for those studying the intersection of topology and computer science.

Key Features

Explores applications of algebraic topology concepts to models of concurrent processes in computer science.

Provides a progression from well-known discrete models for resource management to refined topological models.

Develops specific tools and invariants for the discipline of directed algebraic topology.

Focuses on practical applications including the static analysis of concurrent programs.

Analyzes the state space of concurrent systems through mathematical frameworks.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319792172
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 19 April 2018
Listed Since: 19 April 2018

Barcode

No barcode data available

Springer Directed Algebraic Topology and Concurrency Book

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Understanding Concurrent Systems (Texts in Computer Science)

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

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)

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)

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

Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books)

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

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

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

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

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

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

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

Distributed Computing Through Combinatorial Topology

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

Springer - Petri Nets: Theoretical Models and Analysis Methods

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

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

System Modeling and Control with Resource-Oriented Petri Nets: Automation and Control Engineering: 35

An Atlas of Edge-Reversal Dynamics (Chapman & Hall/CRC Research Notes in Mathematics Series)

An Atlas of Edge-Reversal Dynamics (Chapman & Hall/CRC Research Notes in Mathematics Series)

Handbook of Process Algebra

Nature-Inspired Networking: Theory and Applications