Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité / Salim Benayoune

Public ISBD Titre : Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité Auteurs : Salim Benayoune ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni Benmouhammed, Directeur de thèse Année de publication : 2003 Importance : 108 f. Note générale : 1 disponible dans la salle de recherche 2 disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Algorithme  Sémantique  Vérification  Relations de bisimulation Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=243 Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité [] / Salim Benayoune ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni Benmouhammed, Directeur de thèse . - 2003 . - 108 f. 1 disponible dans la salle de recherche 2 disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Algorithme  Sémantique  Vérification  Relations de bisimulation Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=243

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BEN/3918	BEN/3918	Thèse	Bibliothèque principale	Thèses	Disponible

---

1 (1 - 1 / 1)