Understanding Behaviour of Distributed Systems Using McRl2: 458 (Studies in Systems, Decision and Control, 458) [Hardcover] [Feb 26, 2023] Atif, Muhammad and Groote, Jan Friso
Language: English
Published by Springer, 2023
- Hardcover
- New
Seller: StainesBookhub, Weybridge, SURRE, United KingdomStainesBookhub
AbeBooks seller since October 20, 2023
Condition: New
US$ 93.47
Quantity: 1 available
Add to basketItem description from seller
A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.
Seller Inventory # SPRINGERNEW10332
- Title
- Understanding Behaviour of Distributed Systems Using McRl2: 458 (Studies in Systems, Decision and Control, 458) [Hardcover] [Feb 26, 2023] Atif, Muhammad and Groote, Jan Friso
- Author
- Atif, Muhammad; Groote, Jan Friso
- Publisher
- Springer
- Publication year
- 2023
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3031230078
- ISBN 13
- 9783031230073
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."Synopsis" may belong to another edition of this title.
From the Back Cover
"About the title" may belong to another edition of this title.
StainesBookhub
Weybridge, SURRE, United Kingdom
AbeBooks seller since October 20, 2023
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 16 business days | 3 to 10 business days |
|---|---|---|
| First item | US$ 40.06 | US$ 66.76 |
Payment methods
Store description
Staines Book aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers' wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. Staines Books Hub also sell books in Bulk, We try our best to Provied High Quality, Fast Service, Global Shipping.…
Specialty
All type of booksSeller's business information
SIX SENSE STRATEGY LTD
SIX SENSE STRATEGY LTD, Haland House, Office # 9a, 66 York Road
Weybridge, United Kingdom KT13 9DY
Terms of sale
StainesBookHub aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers' wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. StainesBooksHub also sell books in Bulk, We try our best to Provied High Quality, Fast Service, Global Shipping.
Shipping terms
We ship Books through Fedex Priority