![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Détail d'une collection
|
Documents disponibles dans la collection (3)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Bernard Quément, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1992Une initiation aux concepts objet à travers l'étude des structures de données (liste, pile, file, arbre, graphe), ainsi que les algorithmes qui leur sont liés. Les notions délicates de modularité, d'encapsulation, de généricité, de ligature dyna[...]![]()
texte imprimé
RolandC. Backhouse, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1989Une approche thématique de la vérification de la programmation. Expose les bases mathématiques (logique des prédicats de 1er ordre) à partir desquelles deux méthodes de vérification sont applicables.![]()
texte imprimé
SimonL. Peyton Jones, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1990Description détaillée de la mise en oeuvre au moyen de techniques de réduction de graphes.