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

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