Guide to Software Verification with Frama-C: Core Components, Usages, and Applications Computer Science Foundations and Applied Logic Editat de Nikolai Kosmatov et al. 10 iul 2024 Hardback Preț: 378.61 lei 473.26 lei 3-5 săpt. | 6-12 zile -20%