9 results
Type of media (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Cristina Seceleanu

  1. Cover: CyberSecurity in a DevOps Environment - Springer
    Andrey Sadovykh | Dragos Truscan | Wissam Mallouli
    CyberSecurity in a DevOps Environment
    From Requirements to Monitoring
    12/2023
    1st EDN1st Edition
    Springer
    9783031422126 (ISBN)
    E-Book
    PDF
    Other editions
    €234.33
    Available for download
  2. Cover: Engineering of Computer-Based Systems - Springer
    Jan Kofron | Tiziana Margaria | Cristina Seceleanu
    Engineering of Computer-Based Systems
    8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
    11/2023
    Springer
    9783031492525 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  3. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Laure Petrucci | Cristina Seceleanu | Ana Cavalcanti
    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
    09/2017
    Springer
    9783319671130 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tests and Proofs - Springer
    Virgile Prevosto | Cristina Seceleanu
    Tests and Proofs
    17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
    07/2023
    Springer
    9783031388286 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Laure Petrucci | Cristina Seceleanu | Ana Cavalcanti
    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
    08/2017
    Springer
    9783319671123 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: CyberSecurity in a DevOps Environment - Springer
    Andrey Sadovykh | Dragos Truscan | Wissam Mallouli
    CyberSecurity in a DevOps Environment
    From Requirements to Monitoring
    12/2024
    Springer
    9783031422140 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €235.39
    Shipment within 15-20 days
  7. Cover: CyberSecurity in a DevOps Environment - Springer
    Andrey Sadovykh | Dragos Truscan | Wissam Mallouli
    CyberSecurity in a DevOps Environment
    From Requirements to Monitoring
    12/2023
    Springer
    9783031422119 (ISBN)
    Book
    Hardback
    Other editions
    €235.39
    Shipment within 15-20 days
  8. Cover: Tests and Proofs - Springer
    Virgile Prevosto | Cristina Seceleanu
    Tests and Proofs
    17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
    07/2023
    Springer
    9783031388279 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  9. Cover: Engineering of Computer-Based Systems - Springer
    Jan Kofron | Tiziana Margaria | Cristina Seceleanu
    Engineering of Computer-Based Systems
    8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
    11/2023
    Springer
    9783031492518 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days