Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 13085 Editat de Radu Calinescu et al. 3 dec 2021 Paperback Preț: 547.61 lei 684.50 lei 6-8 săpt. -20%
Symbolic Execution and Quantitative Reasoning Synthesis Lectures on Software Engineering Autor Corina S. P¿s¿reanu 13 mai 2020 Paperback Preț: 182.44 lei 38-44 zile