£44.79

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

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

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

Historical
Generating forecast…
£44.83 £44.79 £44.80 £44.81 £44.81 £44.82 £44.83 22 May 2026 06 June 2026 22 June 2026 07 July 2026 23 July 2026

Price Distribution

Price distribution over 63 days • 1 price levels

Days at Price
63 days 0 16 32 47 63 £45 Days at Price

Price Analysis

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

Price range: £45 - £45

Price levels: 1 different prices over 63 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

£111.63 06 Jul 2026
Concurrent Programming: Algorithms, Principles, and Foundations
96% match

Concurrent Programming: Algorithms, Principles, and Foundations

Springer

£58.64 16 Jun 2026
Concurrent Programming: Algorithms, Principles, and Foundations
96% match

Concurrent Programming: Algorithms, Principles, and Foundations

Springer

£79.11 25 Jul 2026
Understanding Concurrent Systems (Texts in Computer Science)
95% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.92 01 Jul 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.70 08 Jul 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

£121.46 13 Aug 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.89 15 Jul 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.96 13 Jul 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

£119.99 15 Jul 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

£86.15 13 Jul 2026
Manning C# Concurrency - Asynchronous and Multithreaded Guide
95% match

Manning C# Concurrency - Asynchronous and Multithreaded Guide

Manning

£47.37 20 Jul 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

£56.65 18 Jun 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 Jul 2026
Principles of Cyber-Physical Systems
95% match

Principles of Cyber-Physical Systems

MIT Press

£60.42 17 Jun 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

£86.10 03 Jul 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

£31.60 31 Jul 2026
Concurrency: The Works of Leslie Lamport (ACM Collection II)
94% match

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

Morgan & Claypool

£90.48 08 Jul 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.84 14 Jul 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

£100.00 16 Jul 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.14 03 Aug 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

£61.28 18 Jul 2026
Springer - Principles of Distributed Systems - Computer Science
94% match

Springer - Principles of Distributed Systems - Computer Science

Springer

£105.14 18 Jul 2026
Springer - Concurrency in Dependable Computing Book
94% match

Springer - Concurrency in Dependable Computing Book

Springer

£115.57 18 Jul 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

£91.89 09 Jul 2026