Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings Lecture Notes in Computer Science, nr. 14414 Editat de Haniel Barbosa et al. 2 dec 2023 Paperback Preț: 341.38 lei 426.73 lei 6-8 săpt. -20%