Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings Lecture Notes in Computer Science, nr. 11800 Editat de Maurice H. ter Beek et al. 15 sep 2019 Paperback Preț: 343.53 lei 429.41 lei 6-8 săpt. -20%