Modèles formels pour la conception des systèmes temps réel / Toufik Messaoud Maarouk  

Public ISBD Titre : Modèles formels pour la conception des systèmes temps réel Type de document : texte imprimé Auteurs : Toufik Messaoud Maarouk, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2012 Importance : 114 f. Format : 31 cm. Note générale : Doctorat en sciences 2 copies imprimées disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : Sémantique de vrai parallélisme, Mobilité, Systèmes temps-réel, Systèmes distribués, LOTOS. Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/MAA6230.pdf Format de la ressource électronique : pdf Permalink : index.php?lvl=notice_display&id=6183 Modèles formels pour la conception des systèmes temps réel [texte imprimé] / Toufik Messaoud Maarouk, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2012 . - 114 f. ; 31 cm. Doctorat en sciences 2 copies imprimées disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : Sémantique de vrai parallélisme, Mobilité, Systèmes temps-réel, Systèmes distribués, LOTOS. Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/MAA6230.pdf Format de la ressource électronique : pdf Permalink : index.php?lvl=notice_display&id=6183

Exemplaires (1)

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

---

1 (1 - 1 / 1)