Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Knjige - Springer International Publishing AG - 9783031230073 - 26. februarja 2023
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 171,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 8. - 16. okt
Prejemajte obvestila o novih izdajah izvajalca Muhammad Atif

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 26. februarja 2023
ISBN13 9783031230073
Založniki Springer International Publishing AG
Strani 235
Dimenzije 150 × 220 × 20 mm   ·   593 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Muhammad Atif