£44.74

Springer Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... (Lecture Notes in Computer Science, 1231)

Price data last checked 44 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 47 days • 47 data points (No recent data available)

Historical
Generating forecast...
£44.79 £44.74 £44.75 £44.76 £44.77 £44.78 £44.80 13 March 2026 24 March 2026 05 April 2026 16 April 2026 28 April 2026

Price Distribution

Price distribution over 47 days • 1 price levels

Days at Price
47 days 0 12 24 35 47 £45 Days at Price

Price Analysis

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

Price range: £45 - £45

Price levels: 1 different prices over 47 days

Description

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
07 May 1997
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Reactive Internet Programming: State Chart XML in Action (ACM Books)
95% match

Reactive Internet Programming: State Chart XML in Action (ACM Books)

Morgan & Claypool

£96.99 09 Mar 2026
Reactive Internet Programming: State Chart XML in Action (ACM Books)
95% match

Reactive Internet Programming: State Chart XML in Action (ACM Books)

Morgan & Claypool

£74.00 22 Feb 2026
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)
94% match

Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)

Springer

£142.06 01 Apr 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
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
94% match

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

£121.46 08 Jan 2026
Enterprise Interoperability II: New Challenges and Approaches: 2
94% match

Enterprise Interoperability II: New Challenges and Approaches: 2

Springer

£213.13 30 Jan 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
94% 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
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)
94% match

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Springer

£47.84 27 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
Real-Time Systems Design and Analysis: Tools for the Practitioner
94% match

Real-Time Systems Design and Analysis: Tools for the Practitioner

Wiley-IEEE Press

£105.29 15 Dec 2025
Real-Time Systems Development
94% match

Real-Time Systems Development

Butterworth-Heinemann

£44.79 25 Feb 2026
Business Process Management Workshops: BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers
94% match

Business Process Management Workshops: BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers

Springer

£78.95 05 Mar 2026
Understanding Concurrent Systems (Texts in Computer Science)
94% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.39 18 Feb 2026
Real–Time Systems and Software
94% match

Real–Time Systems and Software

£181.99 07 Jan 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
94% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£76.02 20 Apr 2026
The Transfer and Diffusion of Information Technology for Organizational Resilience: IFIP TC8 WG 8.6 International Working Conference, June 7-10, 2006, ... and Communication Technology, 206)
94% match

The Transfer and Diffusion of Information Technology for Organizational Resilience: IFIP TC8 WG 8.6 International Working Conference, June 7-10, 2006, ... and Communication Technology, 206)

Springer

£33.11 28 Feb 2026
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)
94% match

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)

Springer

£30.11 01 May 2026
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)
94% match

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

Springer

£43.30 10 May 2026
Akka in Action
94% match

Akka in Action

Manning Publications

£43.74 05 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
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)
94% 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
Functional and Concurrent Programming: Core Concepts and Features
94% match

Functional and Concurrent Programming: Core Concepts and Features

Addison Wesley

£35.89 06 Apr 2026
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)
94% match

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)

Springer

£42.08 23 Apr 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
94% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£78.00 08 Jan 2026