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
NZ$ 327.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 29 - Aug 10
Get notified about new Muhammad Atif releases

Our customers say:

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

Not rated yet

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  

More from the same publisher

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