000 -LEADER |
fixed length control field |
nam a22 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
240319b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031230073 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.36 |
Item number |
ATI |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Atif, Muhammad |
245 ## - TITLE STATEMENT |
Title |
Understanding behaviour of distributed systems using mCRL2 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2023 |
Place of publication, distribution, etc |
Cham : |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xv, 235 p. ; |
Other physical details |
ill., |
Dimensions |
24 cm |
365 ## - TRADE PRICE |
Price amount |
169.99 |
Price type code |
€ |
Unit of pricing |
93.50 |
490 ## - SERIES STATEMENT |
Series statement |
Studies in Systems, Decision and Control ; |
Volume number/sequential designation |
v.458 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer simulation |
|
Topical term or geographic name as entry element |
Distributed processing |
|
Topical term or geographic name as entry element |
Electronic data processing |
|
Topical term or geographic name as entry element |
System analysis |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Groote, Jan Friso |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |