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%
Modeling and Analysis of Communicating Systems Autor Jan Friso Groote et al. 9 mai 2023 Paperback Preț: 453.48 lei 6-8 săpt.
Logic Gates, Circuits, Processors, Compilers and Computers Autor Jan Friso Groote et al. 19 aug 2021 Paperback Preț: 249.49 lei 311.87 lei 3-5 săpt. | 4-10 zile -20%
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, nr. 12651 Editat de Jan Friso Groote et al. 20 mar 2021 Paperback Preț: 267.93 lei 334.92 lei Indisponibil temporar -20%
Tales of Electrologica Editat de Gerard Alberts et al. 6 ian 2024 Paperback Preț: 236.72 lei 295.90 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 13487 Editat de Jan Friso Groote et al. 12 aug 2022 Paperback Preț: 475.39 lei 594.24 lei 6-8 săpt. -20%