Fortell venner om denne varen:
Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control Muhammad Atif 2023 edition
Pris
NOK 1.939
Bestillingsvarer
Forventes levert 8. - 16. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også som:
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 27. februar 2024 |
| ISBN13 | 9783031230103 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 235 |
| Mål | 150 × 220 × 10 mm · 434 g |
| Språk | Tysk |
Se alt med Muhammad Atif ( f.eks. Innbunden bok og Pocketbok )