Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Books - Springer International Publishing AG - 9783031230073 - February 26, 2023
In case cover and title do not match, the title is correct

Muhammad Atif
Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control 2023 edition

Price
$ 192.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 15 - 27, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

235 pages, 15 Illustrations, color; 88 Illustrations, black and white; XV, 235 p. 103 illus., 15 ill

Media Books     Hardcover Book   (Book with hard spine and cover)
Released February 26, 2023
ISBN13 9783031230073
Publishers Springer International Publishing AG
Pages 235
Dimensions 150 × 220 × 20 mm   ·   593 g
Language English  

See all of Muhammad Atif ( e.g. Hardcover Book and Paperback Book )