Ergebnisse filtern
-
- 5
- 4
-
- 1
- 6
- 2
-
- 5
- 4
-
- 6
- 3
-
- 9
-
- 9
-
- 9
-
Prevosto / Seceleanu Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-38828-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Prevosto / Seceleanu Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-38827-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kofron / Margaria / Seceleanu Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-3-031-49251-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kofron / Margaria / Seceleanu Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings1. Auflage 2024Verlag: Springer International PublishingISBN: 978-3-031-49252-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar
-
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, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-67113-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Sadovykh / Truscan / Mallouli CyberSecurity in a DevOps Environment
From Requirements to MonitoringErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-42214-0Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sadovykh / Truscan / Mallouli CyberSecurity in a DevOps Environment
From Requirements to Monitoring1. Auflage 2024Verlag: SpringerISBN: 978-3-031-42211-9Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sadovykh / Truscan / Mallouli CyberSecurity in a DevOps Environment
From Requirements to Monitoring1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-42212-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark234,33 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
