Integrated Formal Methods Lecture Notes in Computer Science, nr. 13274 Editat de Maurice H. Ter Beek et al. iun 2022 Paperback Preț: 484.66 lei 605.83 lei Indisponibil temporar -20%