Embedded Software System Testing
Automatic Testing Solution Based on Formal Method
2023
CRC Press (Verlag)
978-1-003-39092-3 (ISBN)
CRC Press (Verlag)
978-1-003-39092-3 (ISBN)
Erscheint lt. Verlag | 1.6.2023 |
---|---|
Mitarbeit |
Sonstige Mitarbeit: Bo Jiang, Qingran Su, Ruinan Qui, Yang Guo |
Sprache | englisch |
Themenwelt | Informatik ► Netzwerke ► Sicherheit / Firewall |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
ISBN-10 | 1-003-39092-7 / 1003390927 |
ISBN-13 | 978-1-003-39092-3 / 9781003390923 |
Zustand | Neuware |
Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Das Lehrbuch für Konzepte, Prinzipien, Mechanismen, Architekturen und …
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Management der Informationssicherheit und Vorbereitung auf die …
Buch (2024)
Carl Hanser (Verlag)
69,99 €