Models and Theories in Social Systems
Cristina Flaut, Šárka Hošková-Mayerová, Daniel Flaut, Sárka Hosková-Mayerová, árka Hoková-Mayerová, ¿Árka Ho¿ková-Mayerová
Inbunden
2 079 kr
Del 0 - Studies in Systems, Decision and Control
Understanding Behaviour of Distributed Systems Using mCRL2
Inbunden, Engelska, 2023
2 489 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. 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.
Produktinformation
- Utgivningsdatum2023-02-26
- Mått155 x 235 x 19 mm
- Vikt593 g
- FormatInbunden
- SpråkEngelska
- SerieStudies in Systems, Decision and Control
- Antal sidor235
- FörlagSpringer International Publishing AG
- ISBN9783031230073
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Stochastic Control and Filtering over Constrained Communication Networks
Qinyuan Liu, Zidong Wang, Xiao He
Inbunden
1 679 kr
Green IT Engineering: Social, Business and Industrial Applications
Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk
Inbunden
2 079 kr
Del 176
Designing Cognitive Cities
Edy Portmann, Marco E. Tabacchi, Rudolf Seising, Astrid Habenstein
Inbunden
1 439 kr
Del 180
Economy, Business and Uncertainty: New Ideas for a Euro-Mediterranean Industrial Policy
Jaime Gil-Lafuente, Domenico Marino, Francesco Carlo Morabito
Inbunden
2 769 kr
Del 181
Optimization of the Taxation System: Preconditions, Tendencies and Perspectives
Irina V. Gashenko, Yulia S. Zima, Armenak V. Davidyan
Inbunden
1 439 kr
Hoppa över listan
Du kanske också är intresserad av
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad
2 489 kr
Del 13487
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad
539 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
579 kr
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
579 kr
- Nyhet