Formal verification of industrial software and neural networks / von Marko Kleine Büning
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Verlag: Karlsruhe, [2022?]Beschreibung: 1 Online-Ressource (vii, 162 Seiten) : IllustrationenSchlagwörter: Genre/Form: DDC-Klassifikation:- 006.32
- 004
- Archivierung/Langzeitarchivierung gewährleistet DISS
Dieser Titel hat keine Exemplare
Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90