Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Książki - Springer International Publishing AG - 9783031230103 - 27 lutego 2024
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 720,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 19 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 27 lutego 2024
ISBN13 9783031230103
Wydawcy Springer International Publishing AG
Strony 235
Wymiary 150 × 220 × 10 mm   ·   434 g
Język Niemiecki  

Zobacz wszystko od Muhammad Atif ( np. Hardcover Book i Paperback Book )