Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Jan Friso
Understanding Behaviour of Distributed Systems Using mCRL2
Cargando comentarios…
Comparte
$3,897
$3,507
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
1066837Understanding Behaviour of Distributed Systems Using mCRL2https://www.gandhi.com.mx/understanding-behaviour-of-distributed-systems-using-mcrl2/phttps://gandhi.vtexassets.com/arquivos/ids/1160989/cc767992-de53-49f0-839c-433222ce6486.jpg?v=63833750858403000035073897MXNSpringer International PublishingInStock/Ebooks/<p>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.</p><p>The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.</p>...1059458Understanding Behaviour of Distributed Systems Using mCRL235073897https://www.gandhi.com.mx/understanding-behaviour-of-distributed-systems-using-mcrl2/phttps://gandhi.vtexassets.com/arquivos/ids/1160989/cc767992-de53-49f0-839c-433222ce6486.jpg?v=638337508584030000InStockMXN99999DIEbook20239783031230080_W3siaWQiOiIzYzA4MDFjMS1jZThiLTRmMjgtYjRjYi0yOThkYmYzNGJjMWIiLCJsaXN0UHJpY2UiOjM5MDMsImRpc2NvdW50IjozOTAsInNlbGxpbmdQcmljZSI6MzUxMywiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMDktMDJUMTk6MDA6MDBaIiwidG8iOiIyMDI1LTA5LTMwVDIzOjU5OjU5WiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9LHsiaWQiOiJiMjIxZGMwYy04OWY1LTQ4N2EtOWRmOC01MTBlZDk3NmZlZjEiLCJsaXN0UHJpY2UiOjM4OTcsImRpc2NvdW50IjozOTAsInNlbGxpbmdQcmljZSI6MzUwNywiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMTAtMDFUMDA6MDA6MDBaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX1d9783031230080_<p>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.</p><p>The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.</p>...9783031230080_Springer International Publishinglibro_electonico_dab14994-8664-3449-ad25-8f021b017cbf_9783031230080;9783031230080_9783031230080Jan FrisoInglésMéxico2023-02-25T00:00:00+00:00Springer International Publishing