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ț: 1117.95 lei 1397.43 lei 3-5 săpt. -20%