

Modèles de temps et leur intér¼t à la vérification formelle des systèmes temps-réel [texte imprimé] / Nabil Belala ; Djamel-Eddine Saidouni, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique . - 2010 . - 115 f. 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre)
|
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |