Transformation de diagrammes d'état de transitions vers PROMELA une approche basée ATL (Record no. 49089)
[ view plain ]
| 000 -Record Label | |
|---|---|
| fixed length control field | 00417nam0a22001691i 4500 |
| 100 ## - General Processing Data | |
| General Processing Data | 20240205 frey50 |
| 101 0# - Language of the Resource | |
| Language of Text, Soundtrack etc. | French |
| 102 ## - Country of Publication or Production | |
| Locality (ISO) | FR |
| 200 1# - Title and Statement of Responsibility | |
| Title Proper | Transformation de diagrammes d'état de transitions vers PROMELA une approche basée ATL |
| 210 ## - Publication, Distribution, etc. | |
| Date of Publication, Distribution, etc. | 2012 |
| 700 0# - Personal Name - Primary Responsibility | |
| Entry Element | Abdelkrim , Amirat |
| 702 0# - Personal Name - Secondary Responsibility | |
| Entry Element | Maaitia lamia |
| 852 ## - Location and Call Number | |
| Call Number | M/IN/04/2012 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Thesis |
| 950 ## - | |
| -- | 3 |
| Koha item type | Full call number | Not for loan | Lost status | Date acquired | Home library | Current library | Barcode |
|---|---|---|---|---|---|---|---|
| Thesis | M/IN/04/2012/001 | 2024-02-05 | مكتبة العلوم والتكنولوجيا | مكتبة العلوم والتكنولوجيا | LST/M/IN/04/2012/001 | ||
| Thesis | M/IN/04/2012/002 | 2024-02-05 | مكتبة العلوم والتكنولوجيا | مكتبة العلوم والتكنولوجيا | LST/M/IN/04/2012/002 | ||
| Thesis | M/IN/04/2012/003 | 2024-02-05 | مكتبة العلوم والتكنولوجيا | مكتبة العلوم والتكنولوجيا | LST/M/IN/04/2012/003 |