| Titre : | Analyse et Conception Formelle |
| Auteurs : | YAHLALI Mebarka, Directeur de thèse |
| Type de document : | texte imprimé |
| Editeur : | Université Dr Moulay Tahar de Saida Faculté de technologie Département d’informatique, 2022/2023 |
| Format : | 61 p / 29 cm |
| Accompagnement : | CD |
| Langues: | Français |
| Langues originales: | Français |
| Catégories : | |
| Mots-clés: | Informatique |
| Note de contenu : |
Ce cours est adresséaux étudiants de la première année Master SIC
(Sécurité Informatique et Cryptographie) de l’Université de Saida « Dr Tahar Moulay ». L’objectif de l’ACF (Analyse et Conception Formelle) méthodes et les langages formels despécification etde est d’étudier les développement des applications logicielles |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| BUC-P 000680 | TEC-P 00047 | Livre-CD | Bibliothèque PMB Services | Polycope | Consultation sur place Exclu du prêt |
Documents numériques (1)
Analyse et Conception Formelle Adobe Acrobat PDF |
