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

AvVirgile Prevosto,Cristina Seceleanu

Häftad, Engelska, 2023

699 kr

Skickas inom 10-15 vardagar

CyberSecurity in a DevOps Environment

From Requirements to Monitoring

AvAndrey Sadovykh,Dragos Truscan m. fl.

Inbunden, Engelska, 2023

2 689 kr

Skickas inom 10-15 vardagar

CyberSecurity in a DevOps Environment

From Requirements to Monitoring

AvAndrey 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

AvJan Kofroň,Tiziana Margaria m. fl.

Häftad, Engelska, 2023

899 kr

Skickas inom 5-8 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

AvLaure Petrucci,Cristina Seceleanu m. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar