Models and Theories in Social Systems
Cristina Flaut, Šárka Hošková-Mayerová, Daniel Flaut
Inbunden
1 585 kr
Understanding Behaviour of Distributed Systems Using mCRL2
AvMuhammad Atif,Jan Friso Groote
Häftad, Engelska, 2024
Del i serien Studies in Systems, Decision and Control
1 901 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Stochastic Control and Filtering over Constrained Communication Networks
Qinyuan Liu, Zidong Wang, Xiao He
Inbunden
1 269 kr
Green IT Engineering: Social, Business and Industrial Applications
Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk
Inbunden
1 585 kr
Del 176
Designing Cognitive Cities
Edy Portmann, Marco E. Tabacchi, Rudolf Seising, Astrid Habenstein
Inbunden
1 091 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 111 kr
Del 181
Del 182
Optimization of the Taxation System: Preconditions, Tendencies and Perspectives
Irina V. Gashenko, Yulia S. Zima, Armenak V. Davidyan
Inbunden
1 091 kr
Del 184
Del 185
Del 267
Hoppa över listan
Du kanske också är intresserad av
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden
1 901 kr
Del 13487
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad
407 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
441 kr
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
441 kr