Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 378.61 lei 473.26 lei
3-5 săpt. | 6-10 zile
-20%
Virgile Prevosto
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Editat de Virgile Prevosto et al.
20 iul 2023
Paperback
Preț: 372.44 lei
6-8 săpt.