Başlık:
Understanding Behaviour of Distributed Systems Using mCRL2
Yazar:
Atif, Muhammad. author.
ISBN:
9783031230080
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
XV, 235 p. 103 illus., 15 illus. in color. online resource.
Seri:
Studies in Systems, Decision and Control, 458
İçerik:
Introducing mCRL2 -- Automata to Represent Behaviour -- Communicating processes -- Behavioural Equivalences -- Data Types and Data-dependent Behaviour -- Model-Checking -- The Modal µ-Calculus -- Linear Processes and Parameterised Boolean Equation Systems -- Applications: Puzzles and Games -- Applications: Distributed Algorithms.
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-23008-0Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 527315-1001 | ONLINE | Arıyor... | Arıyor... |