Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 16040 Editat de Anne Remke et al. 28 sep 2025 Paperback Preț: 391.79 lei 489.73 lei 17-23 zile | 7-13 zile -20%