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ț: 407.95 lei 6-8 săpt.
