Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| 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

| 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.

| product details |



Normally shipped | Enquiries only
Publisher | Springer Editions
Published date | 19 Apr 2011
Language | French
Format | Paperback / softback
Pages | 438
Dimensions | 236 x 160 x 20mm (L x W x H)
Weight | 816g
ISBN | 978-2-8178-0199-5
Readership Age |
BISAC | computers / computer science

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

The Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks
Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).
 
Copyright 2025 |  terms and conditions