Overview
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.
Full Product Details
Author: Marc Guyomard
Publisher: Springer Editions
Imprint: Springer Editions
Edition: 2011 ed.
Volume: 0
Dimensions:
Width: 16.00cm
, Height: 2.00cm
, Length: 23.60cm
Weight: 0.816kg
ISBN: 9782817801995
ISBN 10: 2817801997
Pages: 438
Publication Date: 19 April 2011
Audience:
General/trade
,
General
Format: Paperback
Publisher's Status: Active
Availability: In Print
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language: French
Reviews
From the reviews: There is a variety of data structures and in many universities there are courses on the topic of data structures; so this book can be a useful tool for computer programmers . The book ends with five appendices that describe a lot of mathematical properties related to sets, binary relations, functions, integer sets, and priority operators. (Ion Iancu, Zentralblatt MATH, Vol. 1225, 2012)
From the reviews: ""There is a variety of data structures and in many universities there are courses on the topic of data structures; so this book can be a useful tool for computer programmers ... . The book ends with five appendices that describe a lot of mathematical properties related to sets, binary relations, functions, integer sets, and priority operators."" (Ion Iancu, Zentralblatt MATH, Vol. 1225, 2012)
Author Information
Marc Guyomard est professeur d'informatique à l'Enssat (université de Rennes 1 et université européenne de Bretagne), école d'ingénieurs située à Lannion. Il enseigne ou a enseigné dans de nombreux domaines de l'informatique logicielle. Ses principaux domaines d'intérêt sont les modèles formels pour le développement logiciel et pour l'interaction naturelle homme-machine.
