Understanding Behaviour of Distributed Systems Using mCRL2

Name: Understanding Behaviour of Distributed Systems Using mCRL2
Brand: Springer, Berlin
SKU: 9783031230103
Price: 4111 CZK
Availability: InStock

Autor: Muhammad Atif, Jan Friso Groote

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

4 111 Kč

This book helps readers easily learn basic model checking by presenting examples, exercises and case...

Informace o knize

Autor

Muhammad Atif, Jan Friso Groote

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2024

Stránek

235

EAN

9783031230103

Enbook ID

44750718

Vydavatel

Springer, Berlin

Hmotnost

434

Rozměry

155 x 235

Kompletní popis

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Understanding Behaviour of Distributed Systems Using mCRL2

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také