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%
Virgile Prevosto
Tests and Proofs
Editat de Virgile Prevosto et al.
20 iul 2023
Paperback
Preț: 369.86 lei
6-8 săpt.