1. Université Saad Dahlab blida 1
  2. Bibliothèque Universitaire Centrale
  3. Livre
Veuillez utiliser cette adresse pour citer ce document : https://di.univ-blida.dz/jspui/handle/123456789/34170
Titre: Approches formelles pour l'aide au développement de logiciels
Auteur(s): Yves, Ledru
Mots-clés: Logiciels : développement
congrès
Date de publication: 2001
Editeur: Hermès science publications
Description: Bibliogr.-127 p.fig.24cm.
URI/URL: https://di.univ-blida.dz/jspui/handle/123456789/34170
ISBN: 2746203308
Collection(s) :Livre

Fichier(s) constituant ce document :
Fichier Description TailleFormat 
2-005-307.pdflivre543,39 kBAdobe PDFVoir/Ouvrir
Affichage détaillé


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.