This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. 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.
Read More
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. 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.
Read Less
Add this copy of Understanding Behaviour of Distributed Systems Using to cart. $92.57, new condition, Sold by ASHFORD BOOK STORE rated 5.0 out of 5 stars, ships from Weybridge, SURREY, UNITED KINGDOM, published 2023 by Springer International Publishing AG.
Add this copy of Understanding Behaviour of Distributed Systems Usi to cart. $160.69, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2024 by Springer International Publishing AG.
Add this copy of Understanding Behaviour of Distributed Systems Usi to cart. $160.69, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2023 by Springer International Publishing AG.
Add this copy of Understanding Behaviour of Distributed Systems Using to cart. $196.87, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2023 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white, Illustrations, color. Studies in Systems, Decision and Control . XV, 235 p. 103 illus., 15 illus. in color. Intended for professional and scholarly audience.
![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](https://www.alibris-static.com/isbn/9783031230073_t.gif)
