£128.45

Springer Understanding Behaviour of Distributed Systems Using mCRL2: 458 (Studies in Systems, Decision and Control, 458)

Price data checked 2 days ago

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.

£128 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 89 days • 89 data points

Historical
Generating forecast...
£128.45 £122.03 £124.60 £127.17 £129.73 £132.30 £134.87 09 March 2026 31 March 2026 22 April 2026 14 May 2026 05 June 2026

Price Distribution

Price distribution over 89 days • 1 price levels

Days at Price
89 days 0 22 45 67 89 £128 Days at Price

Price Analysis

Most common price: £128 (89 days, 100.0%)

Price range: £128 - £128

Price levels: 1 different prices over 89 days

Description

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
27 February 2024
Listed Since
31 January 2024

Barcode

No barcode data available

Similar Products You Might Like

Understanding Behaviour of Distributed Systems Using mCRL2: 458 (Studies in Systems, Decision and Control, 458)
89% match

Understanding Behaviour of Distributed Systems Using mCRL2: 458 (Studies in Systems, Decision and Control, 458)

Springer

£93.47 05 Jun 2026
Modeling and Analysis of Communicating Systems
89% match

Modeling and Analysis of Communicating Systems

MIT Press

£40.76 06 Jun 2026
Systems and Software Verification: Model-Checking Techniques and Tools
83% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)
80% match

Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)

Springer

£108.68 31 May 2026
Scheduling in Distributed Computing Systems: Analysis, Design and Models
79% match

Scheduling in Distributed Computing Systems: Analysis, Design and Models

Springer

£118.98 06 Jun 2026
Integrated Model of Distributed Systems: 817 (Studies in Computational Intelligence, 817)
79% match

Integrated Model of Distributed Systems: 817 (Studies in Computational Intelligence, 817)

Springer

£75.47 28 May 2026
Modeling and Simulation in the Systems Engineering Life Cycle: Core Concepts and Accompanying Lectures (Simulation Foundations, Methods and Applications)
79% match

Modeling and Simulation in the Systems Engineering Life Cycle: Core Concepts and Accompanying Lectures (Simulation Foundations, Methods and Applications)

Springer

£125.64 25 May 2026
Distributed Filtering, Control and Synchronization: Local Performance Analysis Methods: 428 (Studies in Systems, Decision and Control, 428)
78% match

Distributed Filtering, Control and Synchronization: Local Performance Analysis Methods: 428 (Studies in Systems, Decision and Control, 428)

Springer

£105.69 26 May 2026
Coordination Control of Distributed Systems: 456 (Lecture Notes in Control and Information Sciences, 456)
78% match

Coordination Control of Distributed Systems: 456 (Lecture Notes in Control and Information Sciences, 456)

Springer

£76.38 25 May 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
78% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.38 26 May 2026
Distributed Intelligent Systems: A Coordination Perspective
78% match

Distributed Intelligent Systems: A Coordination Perspective

Springer

£74.42 25 May 2026
Intelligent Decision Systems in Large-Scale Distributed Environments: 362 (Studies in Computational Intelligence, 362)
78% match

Intelligent Decision Systems in Large-Scale Distributed Environments: 362 (Studies in Computational Intelligence, 362)

Springer

£107.98 28 May 2026
Introduction to Distributed Computer Systems: Principles and Features: 27 (Lecture Notes in Networks and Systems, 27)
78% match

Introduction to Distributed Computer Systems: Principles and Features: 27 (Lecture Notes in Networks and Systems, 27)

Springer

£76.38 02 Jun 2026
Diagnosis and Fault-Tolerant Control
78% match

Diagnosis and Fault-Tolerant Control

Springer

£89.12 01 Jun 2026
Engineering Modeling and Design: 2 (Systems Engineering)
77% match

Engineering Modeling and Design: 2 (Systems Engineering)

CRC Press

£75.52 18 May 2026
Distributed Economic Operation in Smart Grid: Model-Based and Model-Free Perspectives: 455 (Studies in Systems, Decision and Control, 455)
77% match

Distributed Economic Operation in Smart Grid: Model-Based and Model-Free Perspectives: 455 (Studies in Systems, Decision and Control, 455)

Springer

£113.94 01 Jun 2026
Distributed Model Predictive Control Made Easy: 69 (Intelligent Systems, Control and Automation: Science and Engineering, 69)
77% match

Distributed Model Predictive Control Made Easy: 69 (Intelligent Systems, Control and Automation: Science and Engineering, 69)

Springer

£126.39 01 Jun 2026
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
77% match

Multiparadigm Constraint Programming Languages (Cognitive Technologies)

Springer

£60.40 05 Jun 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
77% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£78.07 06 Jun 2026
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
77% match

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Springer

£80.64 31 May 2026
Combinatorial Engineering of Decomposable Systems: 2 (Combinatorial Optimization, 2)
77% match

Combinatorial Engineering of Decomposable Systems: 2 (Combinatorial Optimization, 2)

Springer

£120.37 05 Jun 2026
Practical Performance Modeling: Application of the MOSEL Language: 588 (The Springer International Series in Engineering and Computer Science, 588)
77% match

Practical Performance Modeling: Application of the MOSEL Language: 588 (The Springer International Series in Engineering and Computer Science, 588)

Springer

£110.02 04 Jun 2026
Specification and Verification of Multi-agent Systems
77% match

Specification and Verification of Multi-agent Systems

Springer

£107.98 25 May 2026
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity
77% match

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity

Springer

£76.38 18 May 2026