Verified Software. Theories, Tools and Experiments Lecture Notes in Computer Science, nr. 15525 Editat de Jonathan Protzenko et al. 3 mai 2025 Paperback Preț: 324.76 lei 405.96 lei 38-44 zile -20%
