Cristina Seceleanu – författare
Visar alla böcker från författaren Cristina Seceleanu.
5 produkter
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Av Virgile Prevosto, Cristina Seceleanu
Häftad, 2023
739 kr
Lägg i varukorg
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Andrey Sadovykh, Dragos Truscan m. fl.
Inbunden, 2023
3219 kr
Lägg i varukorg
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Andrey Sadovykh, Dragos Truscan m. fl.
Häftad, 2024
3219 kr
Lägg i varukorg
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Av Jan Kofroň, Tiziana Margaria m. fl.
Häftad, 2023
959 kr
Lägg i varukorg
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
Av Laure Petrucci, Cristina Seceleanu m. fl.
Häftad, 2017
739 kr
Lägg i varukorg