Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+
- ISBN: 978-613-1-54789-8
€ 61,90
- ISBN: 978-613-9-56696-9
€ 39,90