Model Checking Software Editat de Ezio Bartocci et al. 19 iul 2013 Paperback Preț: 339.73 lei 424.66 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ț: 358.69 lei 448.35 lei 6-8 săpt. -20%