Verified Software. Theories, Tools and Experiments Lecture Notes in Computer Science, nr. 14095 Editat de Andrew Reynolds et al. 27 iul 2024 Paperback Preț: 312.94 lei 391.18 lei 43-57 zile -20%
