Hoppa till sidans huvudinnehåll

Cristina Seceleanu - Böcker

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, Engelska, 2023

709 kr

Skickas inom 10-15 vardagar

CyberSecurity in a DevOps Environment

From Requirements to Monitoring

Av Andrey Sadovykh, Dragos Truscan m. fl

Inbunden, Engelska, 2023

2 729 kr

Skickas inom 10-15 vardagar

CyberSecurity in a DevOps Environment

From Requirements to Monitoring

Av Andrey Sadovykh, Dragos Truscan m. fl

Häftad, Engelska, 2024

3 199 kr

Skickas inom 10-15 vardagar

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, Engelska, 2023

919 kr

Skickas inom 7-10 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar