Understanding Behaviour of Distributed Systems Using mCRL2
Vše od
Springer International Publishing AG
ISBN: 9783031230103
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...
4 700 Kč
- 1 - 2 ks
- 4 700 Kč
- 3 - 10 ks
- 4 653 Kč
- 11 a více ks
- 4 608 Kč
Naše cena 4 700 Kč je o 6 % nižší než
doporučená cena výrobce 5 000 Kč.
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer International Publishing AG ↓
4 700 Kč
Více o produktu ↓
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.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Autor
- Atif, Muhammad;Groote, Jan Friso
- Rozměry
- 235 x 155
- Rok vydání
- 2024
- Počet stran
- 235
- Obsah
- Paperback / softback
- Počet stran
- 235 pages, 15 Illustrations, color; 88 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Understanding Behaviour of Distributed Systems Using mCRL2 a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
