Transformation de diagrammes d'état de transitions vers PROMELA une approche basée ATL
Language: French.Country: FR.Publication: 2012| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Thesis
|
مكتبة العلوم والتكنولوجيا | M/IN/04/2012/001 (Browse shelf(Opens below)) | Available | LST/M/IN/04/2012/001 | ||
|
Thesis
|
مكتبة العلوم والتكنولوجيا | M/IN/04/2012/002 (Browse shelf(Opens below)) | Available | LST/M/IN/04/2012/002 | ||
|
Thesis
|
مكتبة العلوم والتكنولوجيا | M/IN/04/2012/003 (Browse shelf(Opens below)) | Available | LST/M/IN/04/2012/003 |
Browsing مكتبة العلوم والتكنولوجيا shelves Close shelf browser (Hides shelf browser)
There are no comments on this title.
Log in to your account to post a comment.