| book details |

Structures de DonnÃ©es Et MÃ©thodes Formelles

By (author) Marc Guyomard

This book is currently unavailable. Enquire to check if we can source a used copy

| enquire |

| book description |

Ce livre porte sur l'Ã©tude des structures de donnÃ©es, Ã savoir des constituants logiciels dont la qualitÃ© conditionne le bon fonctionnement et l'efficacitÃ© des applications informatiques. L'originalitÃ© de cet ouvrage rÃ©side essentiellement dans le lien qu'il Ã©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 d'une spÃ©cification rigoureuse. L'auteur adopte Ã la fois une perspective historique et une dÃ©marche fonctionnelle. La premiÃ¨re partie de l'ouvrage prÃ©sente les bases de la discipline: la thÃ©orie des ensembles, l'Ã©tude de structures intermÃ©diaires (listes, arbres, sacs), et l'analyse 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.