Vertel uw vrienden over dit artikel:
Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control Muhammad Atif 2023 edition
Prijs
€ 177,99
Besteld in een afgelegen magazijn
Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
Ook verkrijgbaar als:
Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control
Muhammad Atif
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 27 februari 2024 |
| ISBN13 | 9783031230103 |
| Uitgevers | Springer International Publishing AG |
| Pagina's | 235 |
| Afmetingen | 150 × 220 × 10 mm · 434 g |
| Taal en grammatica | Duits |
Bekijk alles van Muhammad Atif ( bijv. Hardcover Book en Paperback Book )