CyberSecurity in a DevOps Environment: From Requirements to Monitoring Editat de Andrey Sadovykh et al. 16 dec 2023 Hardback Preț: 1132.83 lei 1416.04 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 Lecture Notes in Computer Science, nr. 14390 Editat de Jan Kofroň et al. 29 noi 2023 Paperback Preț: 379.01 lei 473.76 lei 6-8 săpt. -20%
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings Lecture Notes in Computer Science, nr. 14066 Editat de Virgile Prevosto et al. 20 iul 2023 Paperback Preț: 372.44 lei 6-8 săpt.
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 Lecture Notes in Computer Science, nr. 10471 Editat de Laure Petrucci et al. 25 aug 2017 Paperback Preț: 320.83 lei 401.04 lei 6-8 săpt. -20%