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
Publisher: Springer
Publication Date: 2023
Language: English
ISBN 10: 3031230078
ISBN 13: 9783031230073
Binding: Hardcover
Condition: New

About this title

Synopsis

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.

From the Back Cover

The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

"About this title" may belong to another edition of this title.

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.

Visit Seller's Storefront

Seller's business information

SIX SENSE STRATEGY LTD
SIX SENSE STRATEGY LTD, Haland House, Office # 9a, 66 York Road, Weybridge, KT13 9DY, United Kingdom

Sale & Shipping Terms

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 ...

More Information

Shipping Terms

We ship Books through Fedex Priority

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	7 to 16 business days	3 to 10 business days
First item	US$ 39.72	US$ 66.20

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.