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 |

