Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Understanding Behaviour of Distributed Systems Using McRl2
Type
Physical Book
Author
Publisher
Language
English
Pages
235
Format
Hardcover
Dimensions
23x15x0.4 cm
Weight
0.57 kg.
ISBN13
9783031230073
Categories

Understanding Behaviour of Distributed Systems Using McRl2

Jan Friso Groote (Author) · Muhammad Atif (Author) · Springer · Hardcover

Understanding Behaviour of Distributed Systems Using McRl2 - Atif, Muhammad ; Groote, Jan Friso

Cheaper New Book Imported to Netherlands
Delivery: 14 Oct - 21 Oct Shipping: 17 to 21 business days.
€ 170,12
Faster New Book Imported to Netherlands
Delivery: 09 Oct - 13 Oct Shipping: 14 to 15 business days.
€ 219,61
Import costs and 9% BTW included in the price ✅
€ 170,12

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Understanding Behaviour of Distributed Systems Using McRl2"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews