Structures de données et méthodes formelles
(Sprache: Französisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
88.23 €
Produktdetails
Produktinformationen zu „Structures de données et méthodes formelles “
Klappentext zu „Structures de données et méthodes formelles “
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.
Autoren-Porträt von Marc Guyomard
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.
Bibliographische Angaben
- Autor: Marc Guyomard
- 2011, 438 Seiten, Maße: 16,1 x 24 cm, Kartoniert (TB), Französisch
- Verlag: Springer
- ISBN-10: 2817801997
- ISBN-13: 9782817801995
Sprache:
Französisch
Rezension zu „Structures de données et méthodes formelles “
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)
Kommentar zu "Structures de données et méthodes formelles"
0 Gebrauchte Artikel zu „Structures de données et méthodes formelles“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Structures de données et méthodes formelles".
Kommentar verfassen