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. | 7-11 zile
-20%
Cărți de Nikolai Kosmatov
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Editat de Christophe Gaston et al.
18 sep 2019
Paperback
Preț: 333.22 lei 416.52 lei
6-8 săpt.
-20%
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Editat de Jasmin Christian Blanchette et al.
iul 2015
Paperback
Preț: 329.26 lei 411.57 lei
6-8 săpt.
-20%