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%
Cărți de Nikolai Kosmatov
Integrated Formal Methods
Editat de Nikolai Kosmatov et al.
13 noi 2024
Paperback
Preț: 835.67 lei 1044.59 lei
38-44 zile
-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ț: 316.73 lei 395.91 lei
6-8 săpt.
-20%
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ț: 320.55 lei 400.68 lei
6-8 săpt.
-20%