Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Spécification algébrique, algorithmique et programmation
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Spécification algébrique, algorithmique et programmation

Spécification algébrique, algorithmique et programmation

Jean-Francois Dufour, Dominique Bechmann, Yves Bertrand

504 pages, parution le 10/10/1995

Résumé

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.

L'auteur - Jean-Francois Dufour

Jean-Francois Dufour est journaliste et enseignant.

Autres livres de Jean-Francois Dufour

L'auteur - Dominique Bechmann

Autres livres de Dominique Bechmann

Caractéristiques techniques

  PAPIER
Éditeur(s) Elsevier-Masson
Auteur(s) Jean-Francois Dufour, Dominique Bechmann, Yves Bertrand
Parution 10/10/1995
Nb. de pages 504
EAN13 9782729605810

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription