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/34175
Affichage complet
Élément Dublin CoreValeurLangue
dc.contributor.authorHenri, Habrias-
dc.date.accessioned2024-11-21T13:28:55Z-
dc.date.available2024-11-21T13:28:55Z-
dc.date.issued2001-
dc.identifier.isbn2746203022-
dc.identifier.urihttps://di.univ-blida.dz/jspui/handle/123456789/34175-
dc.descriptionBibliogr.-fr_FR
dc.language.isofrfr_FR
dc.publisherLavoisierfr_FR
dc.subjectB (langage de programmation)fr_FR
dc.subjectMéthode B (informatique)fr_FR
dc.titleSpécification formelle avec Bfr_FR
dc.typeBookfr_FR
Collection(s) :Livre

Fichier(s) constituant ce document :
Fichier Description TailleFormat 
2-005-310.pdflivre2,18 MBAdobe PDFVoir/Ouvrir
Affichage abbrégé


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