Beschreibung

Ce livre porte sur létude des structures de données, à savoir des constituants logiciels dont la qualité conditionne le bon fonctionnement et lefficacité des applications informatiques. Loriginalité de cet ouvrage réside essentiellement dans le lien quil établit avec la discipline des méthodes formelles pour le génie logiciel. Il montre comment il est possible de calculer les opérations qui accompagnent une structure de données à partir dune spécification rigoureuse. Lauteur adopte à la fois une perspective historique et une démarche fonctionnelle. La première partie de louvrage présente les bases de la discipline : la théorie des ensembles, létude de structures intermédiaires (listes, arbres, sacs), et lanalyse des algorithmes. La seconde partie se focalise sur létude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. Des exercices accompagnent chaque chapitre.

Rezensionen ( 0 )
Noch keine Rezensionen vorhanden.
Sie können die Erörterung eröffnen.
Zitate (0)
Sie können als Erste ein Zitat veröffentlichen.
Top