Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings Lecture Notes in Computer Science, nr. 13274 Editat de Maurice H. ter Beek et al. iun 2022 Paperback Preț: 504.23 lei 630.28 lei 6-8 săpt. -20%