Runtime Verification Lecture Notes in Computer Science, nr. 11237 Editat de Christian Colombo et al. 8 noi 2018 Paperback Preț: 496.17 lei 620.21 lei 6-8 săpt. -20%
Formal Methods in Outer Space Lecture Notes in Computer Science, nr. 13065 Editat de Ezio Bartocci et al. 28 sep 2021 Paperback Preț: 344.91 lei 431.14 lei 6-8 săpt. -20%