Your search returned 3 results.

Sort
Results
1.
Verification des proprietes fonctionnelles des systemes concurrents

by Boulares | Hinda- Adjailia | Imene | Arous | Mokdad .

Publication: 2013Availability: Items available for loan: مكتبة العلوم والتكنولوجياCall number: M/IN/10/2013/001 (2).

2.
La verification formelle des diagrammes d'interaction UML 0,2

by Arous | Mokdad | Saidi | Hanene-Bendjeddou | Mabrouka .

Publication: 2013Availability: Items available for loan: مكتبة العلوم والتكنولوجياCall number: M/IN/11/2013/001 (3).

3.
Conception et réalisation d'un site web dynamique pour une société (sonelgaz).

by Serdouk, Sami | Mehtali, Mehieddine | Arous, Mokdad .

Description: 45 PAvailability: Items available for loan: مكتبة العلوم والتكنولوجياCall number: LIA/34/2011/001 (2).

Pages