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

Simple item page
dc.contributor.authorTIBERMACINE Okba
dc.date.accessioned2023-02-15T11:30:40Z
dc.date.available2023-02-15T11:30:40Z
dc.date.issued8/3/2016
dc.identifier.urihttp://dspace.univ-batna2.dz/handle/123456789/146
dc.language.isofr
dc.publisherUniversity of Batna 2
dc.titleUML et MODEL CHECKING. Magister thesis, (2009) Université de Batna 2.
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
sce TIBERMACINE OKBA.pdf
Size:
1.52 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
Thèse de Magister