Structures de données et méthodes formelles (Collection Télécom (ex-Collection technique et scientifique des télécommunications)) par Marc Guyomard

December 7, 2019

Téléchargez ou lisez le livre Structures de données et méthodes formelles (Collection Télécom (ex-Collection technique et scientifique des télécommunications)) de Marc Guyomard au format PDF et EPUB. Ici, vous pouvez télécharger gratuitement tous les livres au format PDF ou Epub. Utilisez le bouton disponible sur cette page pour télécharger ou lire un livre en ligne.

Titre de livre: Structures de données et méthodes formelles (Collection Télécom (ex-Collection technique et scientifique des télécommunications))
Auteur: Marc Guyomard
ISBN: 2817801997

Marc Guyomard avec Structures de données et méthodes formelles (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.

Review

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 Back Cover

Ce livre a pour thème principal l'étude des structures de données. Il s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L’originalité de l’ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine.

Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) 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. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre.

L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données ainsi que de leurs liens avec les méthodes formelles.

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. Ses principaux domaines d’intérêt sont les modèles formels pour le développement logiciel et pour l'interaction naturelle homme-machine.


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.

Bestseller Livres Pourquoi les spaghetti bolognese n'existent pas: Et 700 autres questions impertinentes et ludiques sur la cuisine La pâtisserie 400 recettes pour bébé Histoire de France à pleines dents A la table des tsars : La fabuleuse ascension de Pierre Cubat à la cour des empereurs russes The Elder Scrolls: Le livre de cuisine officiel Les Cuisiniers de la République française: Les meilleures recettes GEEK AND PASTRY: Gastronogeek Recettes vegan inratables SIMPLISSIME - Recettes de gibier les + faciles du monde Guide France Guide du Paris Vegan: Restaurants, épiceries, boutiques Les bonnes recettes de nos grands-meres Des comptoirs à la cuisine : Textes et recettes inspirés par l'Histoire philosophique et politique des établissements et du commerce des Européens dans les deux Indes (1770) de l'abbé Raynal Gastronomie française : Histoire et géographie d'une passion (Nouvelles Etudes Historiques) Une histoire politique de l’alimentation: Du paléolithique à nos jours - Essais - documents (ESSAIS-DOCUMENT) Le Manuscrit de Sion : Cuisine médiévale Les Bonnes tables de Gilles Pudlowski et Stéphane Layani Guide Michelin France Le Paris des bistrots Eat New York Guide Fooding 2019 La Cuisine saveur pour mincir en beauté The true history of chocolate Almanach 2019 Marmiton Le Sexe des gâteaux Le guide MICHELIN France 2019 Le grand Larousse gastronomique 150 recettes pour cuisinières nulles La France gastronome : Comment le restaurant est entré dans notre histoire Kebab. Question döner Sauces salades Le Maître des Saveurs : La vie d'Auguste Escoffier Delicious Places : New Food Culture, Restaurants and Interiors La très belle et très exquise histoire des gâteaux et des friandises Simplissime - Light : Le livre de cuisine light le + facile du monde (Beaux Livres Cuisine) M, le grand livre du Guide Michelin A la table du Roi-Soleil : Récit et recettes Almanach 2020 Marmiton Ni cru ni cuit Un voyage gourmand à travers l'Allemagne Le Guide Lebey 2020: Les restaurants, bistrots et bars à cocktails de Paris et sa banlieue Au pied de cochon Almanach des Alpes gourmandes : 150 Recettes d'hier et d'aujourd'hui Goûts du Gois: Le tour de Noirmoutier en 43 histoires et 43 recettes En 2h je cuisine pour toute la semaine spécial débutants : 10 semaines de menus - 50 recettes inratables (Beaux Livres Cuisine) Petites cantines de Paris Eloges de la cuisine française Paris sans gluten 2018 Pudlo Paris 2020