| 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 de spécification et de 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 | Bibliothèque PMB Services | Albums | Consultation sur place Exclu du prêt |
Documents numériques (1)
Analyse et Conception Formelle Adobe Acrobat PDF |
