Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings Lecture Notes in Computer Science, nr. 13768 Editat de Lucas Lima et al. dec 2022 Paperback Preț: 347.28 lei 434.10 lei 6-8 săpt. -20%