Ce livre a pour thme principal l'tude des structures de donnes. Il s'agit de constituants logiciels dont la qualit conditionne le bon fonctionnement et l'efficacit de la plupart des applications informatiques. L'originalit de l'ouvrage rside dans le lien qu'il tablit avec la discipline des mthodes formelles pour le gnie logiciel. En montrant comment il est possible de calculer les oprations qui accompagnent ces structures  partir d'une spcification rigoureuse, il jette un regard neuf sur le domaine.

Dans une premire partie, l'auteur prsente les bases de la discipline: la thorie des ensembles (avec comme support les notations et principes de la mthode B), l'tude de structures intermdiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) 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. L'ensemble de l'expos rpond quant  lui  une double logique: une perspective historique ( chaque poque correspondent des structures de donnes caractristiques) et une dmarche fonctionnelle (les oprations sont des fonctions qui dlivrent une valeur). De nombreux exercices accompagnent chaque chapitre.

L'ouvrage s'adresse aux informaticiens, professionnels, tudiants ou enseignants dsireux de faire voluer leurs connaissances et leur pratique des structures de donnes ainsi que de leurs liens avec les mthodes formelles.