| 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 | Ouvrages | 27 | Libre accès Disponible |
| POLY00105 | P.GP00028 | Périodique | Ouvrages | 27 | Libre accès Disponible |
