Understanding Behaviour of Distributed Systems Using mCRL2 Studies in Systems, Decision and Control, nr. 458 Autor Muhammad Atif et al. 26 feb 2023 Hardback Preț: 1167.61 lei 1459.51 lei 22-36 zile -20%