Structures de données et méthodes formelles

Authors:

ISBN: 978-2-8178-0199-5 (Print) 978-2-8178-0200-8 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages i-12

  2. Les bases

    1. Front Matter

      Pages 13-13

    2. No Access

      Book Chapter

      Pages 15-57

      Mathématiques pour la spécification et les structures de données

    3. No Access

      Book Chapter

      Pages 59-76

      Spécifications + Fonction d’abstraction + Calcul = Programme

    4. No Access

      Book Chapter

      Pages 77-105

      étude de quelques structures outils

    5. No Access

      Book Chapter

      Pages 107-128

      Analyse d’algorithmes

    6. No Access

      Book Chapter

      Pages 129-144

      Exemples

  3. Structures de données fondamentales : spécification et mises en œuvre

    1. Front Matter

      Pages 145-145

    2. No Access

      Book Chapter

      Pages 147-271

      Ensembles de clés scalaires

    3. No Access

      Book Chapter

      Pages 273-311

      Ensembles de clés structurées

    4. No Access

      Book Chapter

      Pages 313-325

      Files simples

    5. No Access

      Book Chapter

      Pages 327-375

      Files de priorité

    6. No Access

      Book Chapter

      Pages 377-399

      Tableaux flexibles

  4. Back Matter

    Pages 401-438