Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Understanding Behaviour of Distributed Systems Using mCRL2

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, February 2023
This book helps readers easily learn basic model checking by presenting examples, exercises and case... Full description
? points 449 b
183.39 € VAT included
In stock Immediate digital delivery

Customers also purchased

Vida en luz Casermeiro / Book Paperback
common.buy 28.59 €
LEER TURKS MET PLEZIER - VOOR KINDEREN LINGUAS CLASSICS / Book Paperback
common.buy 9.69 €
Cornelis van Bynkershoek / Book Hardback
common.buy 69.79 €
Automatische Extraktion von Redewendungen und Sprichwörtern sowie Stemming von Verben Chitra Garg / Book Paperback
common.buy 43.90 €
Tägliche Andacht für Teenager-Jungen 2026 Ethan M. Harlow / Book Paperback
common.buy 11.59 €
Nauka Francuskiego - Szybko / Prosto / Skutecznie Pinhok Languages / Book Paperback
common.buy 10.89 €
The Secret of a Good Billionaire Raphael Celestino / Book Paperback
common.buy 10.19 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Understanding Behaviour of Distributed Systems Using mCRL2
Author Muhammad Atif, Jan Friso Groote
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2023
EAN 9783031230080
Libristo code 44986827
Publishers Springer

Categories

Mathematics & Science > Mathematics > Applied mathematics > Mathematical modelling
Mathematics & Science > Mathematics > Mathematical foundations
Mathematics & Science > Mathematics > Probability & statistics
Mathematics & Science > Science: general issues > Maths for scientists
Computing & Information Technology > Business applications > Mathematical & statistical software
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Staffordshire and Warwickshire, Past and Present Henry Warren / Book Paperback
common.buy 20.79 €
Letters You Will Never Read Hanna Shebar / Book Paperback
common.buy 10.29 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?