| Titre : | Vérification automatique des modèles par le système SMV |
| Auteurs : | Sadok Gadi, Auteur ; Abdelkader Hamaida, Auteur ; Assia Mihi, Directeur de thèse |
| Type de document : | Monographie imprimée |
| Editeur : | Biskra [Algerie] : Université Mohamed Kheider, 2004 |
| Format : | 59P. / ILL / 30/20cm |
| Langues: | Français |
| Langues originales: | Français |
Disponibilité (1)
| Cote | Support | Localisation | Statut | Emplacement | |
|---|---|---|---|---|---|
| M/0966 | Memoire ingenieur | BIB.FAC.ST. | Empruntable | Salle de mémoires et de théses |
Erreur sur le template
