French

UML et MODEL CHECKING

TIBERMACINE, Okba (2009) UML et MODEL CHECKING. Magister thesis, Université de Batna 2.

[img]
Preview
 Text
sce TIBERMACINE OKBA.pdf
Download (1MB) | Preview
Item Type: Thesis (Magister)
Divisions: Faculté des mathématiques et de l'informatique > Département d'informatique
Date Deposited: 04 Apr 2017 09:17
Last Modified: 04 Apr 2017 09:17
URI: http://eprints.univ-batna2.dz/id/eprint/659

Actions (login required)

View Item View Item
UB2 Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.