Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, nr. 15698 Editat de Arie Gurfinkel et al. mai 2025 Paperback Preț: 274.29 lei 342.87 lei 38-44 zile -20%
