الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Spécifications algébriques, algorithmique et programmation / Jean-François Dufourd

Public ISBD Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François Dufourd, Auteur ; Dominique Bechmann, Auteur ; Yves Bertrand (1965-....), Auteur Editeur : Paris : InterÉditions Année de publication : 1995 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 Importance : XV-486 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0581-0 Prix : 245 F Note générale : Bibliogr. p. 474-478. Index Langues : Français (fre) Mots-clés : Cours complet couvrant tout le processus allant de la spécification abstraite d'un problème jusqu'à sa programmation concrète en proposant des méthodes et outils réalistes et éprouvés. Il aborde ainsi la spécification des données et opérations fondées sur les techniques algébriques, et fournit des méthodes d'analyse-programmation rigoureuse conduisant à des algorithmes sûrs et bien documentés. Leur transcription en langage C est expliquée. Il étudie en outre les structures de données de base pour ranger, rechercher, trier des données et gérer un espace-mémoire (piles, listes, graphes, arbres, tables), ainsi que les algorithmes correspondants. De nombreux exercices, problèmes et projets complètent la présentation. Sommaire : Spécification et programmation. Construction de programmes. Spécifications algébriques 1. Le cas équationnel pur. Spécifications algébriques 2. Le cas général. Implantation et programmation. Spécifications étendues. Piles, files et listes linéaires. Suppression de la récursivité. Complexité et optimalité. Structures et algorithmes. Tables. Graphes 1. Spécification et implantation. Graphes 2. Algorithmes classiques. Arbres et forêts 1. Spécification et implantation. Arbres et forêts 2. Algorithmes et variétés d'arbres. Tris internes. Fichiers. Tris externes. Index. décimale : 67 Spécifications algébriques, algorithmique et programmation [texte imprimé] / Jean-François Dufourd, Auteur ; Dominique Bechmann, Auteur ; Yves Bertrand (1965-....), Auteur . - Paris : InterÉditions, 1995 . - XV-486 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) . ISBN : 978-2-7296-0581-0 : 245 F Bibliogr. p. 474-478. Index Langues : Français (fre) Mots-clés : Cours complet couvrant tout le processus allant de la spécification abstraite d'un problème jusqu'à sa programmation concrète en proposant des méthodes et outils réalistes et éprouvés. Il aborde ainsi la spécification des données et opérations fondées sur les techniques algébriques, et fournit des méthodes d'analyse-programmation rigoureuse conduisant à des algorithmes sûrs et bien documentés. Leur transcription en langage C est expliquée. Il étudie en outre les structures de données de base pour ranger, rechercher, trier des données et gérer un espace-mémoire (piles, listes, graphes, arbres, tables), ainsi que les algorithmes correspondants. De nombreux exercices, problèmes et projets complètent la présentation. Sommaire : Spécification et programmation. Construction de programmes. Spécifications algébriques 1. Le cas équationnel pur. Spécifications algébriques 2. Le cas général. Implantation et programmation. Spécifications étendues. Piles, files et listes linéaires. Suppression de la récursivité. Complexité et optimalité. Structures et algorithmes. Tables. Graphes 1. Spécification et implantation. Graphes 2. Algorithmes classiques. Arbres et forêts 1. Spécification et implantation. Arbres et forêts 2. Algorithmes et variétés d'arbres. Tris internes. Fichiers. Tris externes. Index. décimale : 67

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-003770	517-94.1	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Exclu du prêt

---

1 (1 - 1 / 1)