Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes / Mokdad Arous  

Public ISBD Titre : Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes Auteurs : Mokdad Arous ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse Année de publication : 2007 Importance : 91 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Catégories : Français - Anglais Informatique Tags : Théorie de la complexité computationnelle  modèles de machine  Classe de complexité  Graphe de pas maximaux Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ARO4858.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=267 Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes [] / Mokdad Arous ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2007 . - 91 f. 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Catégories : Français - Anglais Informatique Tags : Théorie de la complexité computationnelle  modèles de machine  Classe de complexité  Graphe de pas maximaux Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ARO4858.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=267

Exemplaires (1)

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

---

1 (1 - 1 / 1)