Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 16040 Editat de Anne Remke et al. 28 aug 2025 Paperback Preț: 391.93 lei 489.91 lei 17-24 zile | 6-12 zile -20%