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