Embedded Software System Testing
Automatic Testing Solution Based on Formal Method
Seiten
2024
CRC Press (Verlag)
978-1-032-48819-6 (ISBN)
CRC Press (Verlag)
978-1-032-48819-6 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
Erscheinungsdatum | 23.08.2024 |
---|---|
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-032-48819-0 / 1032488190 |
ISBN-13 | 978-1-032-48819-6 / 9781032488196 |
Zustand | Neuware |
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)
CHF 48,95
Management der Informationssicherheit und Vorbereitung auf die …
Buch (2024)
Carl Hanser (Verlag)
CHF 97,95