Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings Lecture Notes in Computer Science, nr. 11237 Editat de Christian Colombo et al. 8 noi 2018 Paperback Preț: 492.67 lei 615.84 lei 6-8 săpt. -20%
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Lecture Notes in Computer Science, nr. 13065 Editat de Ezio Bartocci et al. 28 sep 2021 Paperback Preț: 342.96 lei 428.69 lei 6-8 săpt. -20%