Ergebnisse filtern
Fachgebiet
Medium
  • 5
Erscheinungsjahr
  • 1
  • 3
  • 1
Autoren
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
Verlag
  • 5
Preis
  • 3
  • 2
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5

Mathematik | Informatik

5  Treffer  für „Seceleanu, Cristina“
Alle Filter löschen
    Prevosto / Seceleanu | Tests and Proofs | Buch | Sack Fachmedien

    Prevosto / Seceleanu Tests and Proofs

    17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38827-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Seceleanu / Cavalcanti | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    Petrucci / Seceleanu / 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
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67112-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kofron / Margaria / Seceleanu | Engineering of Computer-Based Systems | Buch | Sack Fachmedien

    Kofron / Margaria / Seceleanu Engineering of Computer-Based Systems

    8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49251-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sadovykh / Truscan / Mallouli | CyberSecurity in a DevOps Environment | Buch | Sack Fachmedien

    Sadovykh / Truscan / Mallouli CyberSecurity in a DevOps Environment

    From Requirements to Monitoring
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-42211-9
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sadovykh / Truscan / Mallouli | CyberSecurity in a DevOps Environment | Buch | Sack Fachmedien

    Sadovykh / Truscan / Mallouli CyberSecurity in a DevOps Environment

    From Requirements to Monitoring
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-42214-0
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular