Naseem, Syed Atif: Vérification formelle du FDIR dans les réseaux intelligents

Wo zu kaufen (1) Eigenschaften
Gesponsert
Vérification formelle du FDIR dans les réseaux intelligents, Fachbücher von Syed Atif Naseem, Syed Wasif Naseem, Riaz Uddin
Galaxus.de
55.90 EUR
Preis aktualisiert am: 04-12-2025 14:05:15
Siehe Produktangebot

Allgemein

Eigenschaften

Ähnliche Produkte

Boughareb, Djalila: Méthodes formelles pour le parallélisme
Boughareb, Djalila: Méthodes formelles pour le parallélisme
Aus39.90 EUR 1
Produkt anzeigen
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
Aus69.00 EUR 1
Produkt anzeigen
Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants
Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants
Aus79.90 EUR 1
Produkt anzeigen
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+
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+
Aus61.90 EUR 1
Produkt anzeigen
Sémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation (Omn.Univ.Europ.)
Sémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation (Omn.Univ.Europ.)
Aus49.00 EUR 1
Produkt anzeigen
Vérification et validation formelles de modèles UML: Approches et outils
Vérification et validation formelles de modèles UML: Approches et outils
Aus69.00 EUR 1
Produkt anzeigen
Menü