Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings Lecture Notes in Computer Science, nr. 14000 Editat de Marsha Chechik et al. 3 mar 2023 Paperback Preț: 638.44 lei 798.05 lei 43-57 zile -20%