| 书目名称 | Structures de données et méthodes formelles | | 编辑 | Marc Guyomard | | 视频video | | | 概述 | Le livre peut servir de support de cours (programmation, calcul des algorithmes).Le livre fait constamment le lien entre théorie mathématique et applications (génie logiciel).Une approche éprouvée dur | | 丛书名称 | Collection Télécom (ex-Collection technique et scientifique des télécommunications) | | 图书封面 |  | | 描述 | 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. | | 出版日期 | Book 2011Latest edition | | 关键词 | algorithmes; files; méthodes formelles; structures de données; théorie des ensembles; data structures | | 版次 | 1 | | doi | https://doi.org/10.1007/978-2-8178-0200-8 | | copyright | Springer Paris 2011 |
The information of publication is updating
|
|
发表于 2025-3-21 18:21:09
