Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings Lecture Notes in Computer Science, nr. 13962 Editat de Catherine Dubois et al. 21 feb 2023 Paperback Preț: 410.94 lei 43-57 zile
