Understanding Behaviour of Distributed Systems Using mCRL2 için kapak resmi
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:
Ayırtma:
Kopya:

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...

On Order