Guide to Software Verification with Frama-C Computer Science Foundations and Applied Logic Editat de Nikolai Kosmatov et al. 10 iul 2024 Hardback Preț: 449.52 lei 561.89 lei Indisponibil temporar -20%
