Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants

Ein praxisnahes Buch über formale Sicherheitstechnik in Hardware, das kompakte Prüfverfahren, Kompositionsmethoden und konkrete Fallstudien zur auto ...
Gesponsert
79.90 EUR
Preis aktualisiert am: 03-08-2026 09:35:19

Allgemein

Marke
Nicolas Ayache
ISBN
Nicolas Ayache 3841642039

Eigenschaften

Menü