Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Books - Springer International Publishing AG - 9783031230103 - February 27, 2024
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
A$ 288.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 13 - 23, 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     Paperback Book   (Book with soft cover and glued back)
Released February 27, 2024
ISBN13 9783031230103
Publishers Springer International Publishing AG
Pages 235
Dimensions 150 × 220 × 10 mm   ·   434 g
Language German  

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