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