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ț: 398.51 lei 498.15 lei Indisponibil temporar -20%
