Formalisation des systèmes temps-réel avec durées d'actions / Nabil Belala

Formalisation des systèmes temps-réel avec durées d'actions [] / Nabil Belala ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse . - 2005 . - 90 f. 01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale 01 CD
|
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
BEL/4274 | BEL/4274 | Thèse | Bibliothèque principale | Thèses | Disponible |