Understanding behaviour of distributed systems using mCRL2 (Record no. 33119)

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
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Koha item type
          DAIICT DAIICT 2024-03-16 15894.07 004.36 ATI 034905 2024-03-19 Books

Powered by Koha