Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Kirjat - Springer International Publishing AG - 9783031230103 - tiistai 27. helmikuuta 2024
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 179,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 27. helmikuuta 2024
ISBN13 9783031230103
Tuottaja Springer International Publishing AG
Sivujen määrä 235
Mitta 150 × 220 × 10 mm   ·   434 g
Kieli Saksa  

Katso kaikki joka sisältää Muhammad Atif ( Esim. Hardcover Book Ja Paperback Book )