Understanding Behaviour of Distributed Systems Using MCRL2
Edición de la obra Understanding Behaviour of Distributed Systems Using MCRL2
| Autor | Muhammad Atif, Jan Friso Groote |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031230103 |
| Número de Cutter | A872u |