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ț: 319.89 lei 399.86 lei 6-8 săpt. -20%