Accueil de DSpace
→
Faculté des Sciences Exactes et Informatique (FSEI)
→
Département Informatique
→
Mémoires de Master
→
Recherche

Recherche

Filters

Use filters to refine the search results.

Current Filters:






New Filters:

Showing 1 out of a total of 1 results for collection: Mémoires de Master. (0.001 seconds)

Voici les éléments 1-1 de 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Formalisation et vérification du Diagramme Globale d'Interaction (IOD) UML 2.0.une Approche basée sur La logique de Réécriture

Toumi, Imad; Boulefa, Nadji; Djaoui, Chafika (Encadreur); Kerkouche, Elhilali(Encadreur) (Université jijel, 2017)

Voici les éléments 1-1 de 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Parcourir

Tout DSpace
Cette collection

Mon compte

Discover

Auteur
- Boulefa, Nadji (1)
- Djaoui, Chafika (Encadreur) (1)
- Kerkouche, Elhilali(Encadreur) (1)
- Toumi, Imad (1)
Sujet
- UML, IOD, Vérification, Validation (1)
- ... View More
Date Issued
- 2017 (1)
Has File(s)
- Yes (1)