GEOTRUST SSL CERTIFICATE
| Titre : | Analyse et Conception Formelle |
| Auteurs : | Dr.MEBARKA YAHLALI, Auteur |
| Type de document : | texte imprimé |
| Editeur : | [S.l.] : Algèrie:unv saida-Dr Moulay Tahar, 2023 |
| Format : | 61P. / ill / 29 cm |
| Accompagnement : | CD |
| Note générale : | Bibliographie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
1-Concepts de base
2-Correction d'un programme impératif 3-Méthode B 4-Test et Qualité de logiciels |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| POLY00104 | P.GP00027 | Périodique | Salle des Thèses | Informatique | Exclu du prêt |
| POLY00105 | P.GP00028 | Périodique | Salle des Thèses | Informatique | Disponible |
Documents numériques (1)
 Analyse et Conception Formelle Adobe Acrobat PDF |
