All Formats & Editions
1 - 2 of 2 results found
Understanding Behaviour of Distributed Systems ...
By Muhammad Atif and Jan Friso Groote
Edition Description
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...
Edition Details
Format:Hardcover
Language:English
ISBN:3031230078
Format: Hardcover
Condition:
$
199.99
Almost Gone, Only 5 Left!
Understanding Behaviour of Distributed Systems ...
By Muhammad Atif and Jan Friso Groote
Edition Description
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...
Edition Details
Format:Paperback
Language:English
ISBN:3031230108
Format: Paperback
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
