Guide to Software Verification with Frama-C Computer Science Foundations and Applied Logic Editat de Nikolai Kosmatov et al. 10 iul 2024 Hardback Preț: 432.12 lei 540.15 lei 6-8 săpt. -20%