Modélisation et spécification formelle des logiciels
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | E-Book |
| اللغة: | Français |
| منشور في: |
Québec :
Loze-Dion éditeur,
2006.
|
| الموضوعات: | |
| Autres localisations: | Voir dans le Sudoc |
| الوصول للمادة أونلاين: | Accès à l'E-book |