Tests and Proofs
Editat de Virgile Prevosto et al.
20 iul 2023
Paperback
Preț: 369.86 lei
6-8 săpt.
Cristina Seceleanu
CyberSecurity in a DevOps Environment: From Requirements to Monitoring
Editat de Andrey Sadovykh et al.
16 dec 2023
Hardback
Preț: 1230.34 lei 1537.92 lei
6-8 săpt.
-20%
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Editat de Jan Kofroň et al.
29 noi 2023
Paperback
Preț: 402.57 lei 503.22 lei
6-8 săpt.
-20%
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Editat de Laure Petrucci et al.
25 aug 2017
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%