Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants
79.90 EUR
Ein umfassendes Handbuch, das die mathematisch fundierte Analyse von Hardwaredesigns beleuchtet, neue Techniken zur Kompositionsprüfung vorstellt und praxisorientierte Beispiele für die Verifikation komplexer Systemkomponenten liefert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Sûreté des systèmes matériels, Fachbücher von Nicolas Ayache
Galaxus.de
16-06-2026 02:24:24
