£44.74

Springer Synchronous Programming of Reactive Systems: 215 (The Springer International Series in Engineering and Computer Science, 215)

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

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.

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

Historical
Generating forecast...
£44.83 £44.73 £44.75 £44.77 £44.80 £44.82 £44.84 18 March 2026 29 March 2026 09 April 2026 20 April 2026 01 May 2026

Price Distribution

Price distribution over 45 days • 1 price levels

Days at Price
45 days 0 11 23 34 45 £45 Days at Price

Price Analysis

Most common price: £45 (45 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 45 days

Description

This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges tive, has been given so many different meanings that it is almost in evitably misunderstood. Industrial process control systems, transporta tion control and supervision systems, signal-processing systems, are ex amples of the systems we have in mind. Although these systems are more and more computerized, it is sur prising to notice that the problem of time in computer science has been studied only recently by "pure" computer scientists. Until the early 1980s, time problems were regarded as the concern of performance evalu ation, or of some (unjustly scorned) "industrial computer engineering," or, at best, of operating systems. A second surprising fact, in contrast, is the growth of research con cerning timed systems during the last decade. The handling of time has suddenly become a fundamental goal for most models of concurrency. In particular, Robin Alilner 's pioneering works about synchronous process algebras gave rise to a school of thought adopting the following abstract point of view: As soon as one admits that a system can instantaneously react to events, i. e.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 December 1992
Listed Since
20 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Models for Concurrency (Algebra, Logic and Applications, Vol 11)
96% match

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

CRC Press

£110.92 02 Mar 2026
Concurrent Programming: Algorithms, Principles, and Foundations
96% match

Concurrent Programming: Algorithms, Principles, and Foundations

Springer

£47.56 13 Jan 2026
Concurrent Programming: Algorithms, Principles, and Foundations
96% match

Concurrent Programming: Algorithms, Principles, and Foundations

Springer

£78.96 03 May 2026
Understanding Concurrent Systems (Texts in Computer Science)
95% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.39 18 Feb 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.71 07 Mar 2026
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
95% match

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

Springer

£115.87 12 Jun 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

£55.79 15 Apr 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.92 10 Apr 2026
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
95% match

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

Springer

£118.99 19 Apr 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

£84.98 11 Apr 2026
C# Concurrency: Asynchronous and Multithreaded Programming
95% match

C# Concurrency: Asynchronous and Multithreaded Programming

Manning

£41.53 27 Jan 2026
Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs
95% match

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Wiley

£88.77 25 Jan 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 08 Mar 2026
Principles of Cyber-Physical Systems
95% match

Principles of Cyber-Physical Systems

£60.42 14 Jan 2026
Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)
95% match

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

CRC Press

£82.79 23 Feb 2026
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)
95% match

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

Springer

£28.36 11 May 2026
Concurrency: The Works of Leslie Lamport (ACM Collection II)
94% match

Concurrency: The Works of Leslie Lamport (ACM Collection II)

Morgan & Claypool

£85.69 06 Mar 2026
Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)
94% match

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Springer

£44.80 12 Apr 2026
Synchronization of Multi-Agent Systems in the Presence of Disturbances and Delays (Systems & Control: Foundations & Applications)
94% match

Synchronization of Multi-Agent Systems in the Presence of Disturbances and Delays (Systems & Control: Foundations & Applications)

Birkhauser

£99.99 21 Apr 2026
A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - ... 803 (Lecture Notes in Computer Science, 803)
94% match

A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - ... 803 (Lecture Notes in Computer Science, 803)

Springer

£86.17 16 May 2026
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
94% match

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Information Science Reference

£60.59 25 Apr 2026
Springer - Principles of Distributed Systems - Computer Science
94% match

Springer - Principles of Distributed Systems - Computer Science

Springer

£84.84 25 Apr 2026
Springer - Concurrency in Dependable Computing Book
94% match

Springer - Concurrency in Dependable Computing Book

Springer

£86.71 25 Apr 2026
Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)
94% match

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

CRC Press

£88.31 09 Mar 2026