
Sûreté des systèmes matériels
- Alaotsikko
- Vérification formelle, compositionnelle et automatique de systèmes de composants
- Kirjailija
- Nicolas Ayache
- ISBN
- 9783841642035
- Kieli
- Ranska
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.1.2017
- Kustantaja
- presses académiques francophones
- Sivumäärä
- 196