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