A termék adatai:
ISBN13: | 9783031230103 |
ISBN10: | 3031230108 |
Kötéstípus: | Puhakötés |
Terjedelem: | 235 oldal |
Méret: | 235x155 mm |
Nyelv: | angol |
Illusztrációk: | 88 Illustrations, black & white; 15 Illustrations, color |
682 |
Témakör:
A számítástudomány elmélete, a számítástechnika általában
Számítógépes programozás általában
Számítógépes modellezés és szimuláció
A számítástudomány elmélete, a számítástechnika általában (karitatív célú kampány)
Számítógépes programozás általában (karitatív célú kampány)
Számítógépes modellezés és szimuláció (karitatív célú kampány)
Understanding Behaviour of Distributed Systems Using mCRL2
Sorozatcím:
Studies in Systems, Decision and Control;
458;
Kiadás sorszáma: 2023
Kiadó: Springer
Megjelenés dátuma: 2024. február 27.
Kötetek száma: 1 pieces, Book
Normál ár:
Kiadói listaár:
EUR 192.59
EUR 192.59
Az Ön ára:
63 577 (60 550 Ft + 5% áfa )
Kedvezmény(ek): 20% (kb. 15 894 Ft)
A kedvezmény érvényes eddig: 2024. június 30.
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
Kattintson ide a feliratkozáshoz
Kattintson ide a feliratkozáshoz
Beszerezhetőség:
Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
A Prosperónál jelenleg nincsen raktáron.
Nem tudnak pontosabbat?
A Prosperónál jelenleg nincsen raktáron.
Rövid leírás:
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.
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.
Hosszú leírás:
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.Tartalomjegyzék:
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.