Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+

51.15 EUR 17% Off 61.90 EUR

Dieses Buch bietet einen praxisorientierten Einstieg in die formale Verifikation von Intrusion‑Detection‑Systemen und zeigt, wie TLA+ zur Modellierung komplexer Sicherheitsprotokolle eingesetzt wird, um deren Zuverlässigkeit mathematisch zu prüfen.

ISBN: 6131547890

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-17%

Gesponsert Approche formelle pour la vérification des IDS

preigu.de

51.15 EUR 61.90 EUR

20-06-2026 03:07:46

Access to the deal

Gesponsert Approche formelle pour la vérification des IDS, Fachbücher von Slim Rekhis

Galaxus.de

61.90 EUR 61.90 EUR

03-08-2026 08:40:31

Access to the deal

Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+

Gesponsert Approche formelle pour la vérification des IDS

Gesponsert Approche formelle pour la vérification des IDS, Fachbücher von Slim Rekhis

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+

Gesponsert Approche formelle pour la vérification des IDS

Gesponsert Approche formelle pour la vérification des IDS, Fachbücher von Slim Rekhis

Ähnliche Produkte

L'ensemble Funeraire Du Site De Caseta, Jalisco, Mexique: Une approche archéo-anthropologique

Guengané, R: Améliorer l'étuvage du Riz au Burkina: approche (Omn.Pres.Franc.)

Système Financier-Croissance Économique: L’Approche par les Outputs et l’Approche par les Inputs

Hussein, Mohammed: Mesures de la pollution de l'air, approches rentables