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

July 17, 2019

Structures de données et méthodes formelles (Collection Télécom (ex-Collection technique et scientifique des télécommunications)) par Marc Guyomard est disponible au téléchargement en format PDF et EPUB. Ici, vous pouvez accéder à des millions de livres. Tous les livres disponibles pour lire en ligne et télécharger sans avoir à payer plus.

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

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

Télécharger PDF Lire En Ligne

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 Le petit oracle des anges : Amour, Guérison, Protection Les portes de l'intuition Le Coffret ABC de l'Oracle Belline - Le livre + le jeu officiel de 52 cartes Le guide des associations du Petit Lenormand Grimaud - Coffret Oracle Gé - Jeu + Livre - Cartomancie Apprendre et comprendre la médiumnité Les Anges de l'Amour : 44 cartes oracle et un livre explicatif Petit oracle des fées (Le) Tattoo Tarot Ink Intuition L'Oracle du peuple animal : Contient 1 livre et 50 cartes Vice-Versa Tarot Murmures de Ganesh : Cartes oracle Oracle de l'Ame Intuitive - Coffret livre + 44 cartes L'oracle interdit de Shérazade : Avec 77 cartes oracles Le coffret de l'Oracle des Miroirs - Le livre + le jeu original L'Astrologie Poche Pour les Nuls L'oracle des vies antérieures : 44 cartes oracle Amour universel : Cartes oracle de guérison Le coffret de l'Oracle Bleu Namaste : Bénédictions à recevoir au quotidien. Cartes Oracle Initiation au Tarot de Marseille: Manuel pour débutants Le voyage de Ritavan et ses 12 chats : 76 cartes oracle et un livre Oracle de Mercure. Le jeu: Coffret L'oracle des amoureux : Avec 45 cartes oracle L'Oracle des rebelles sacrés : Conseils pour vivre une vie unique et authentique - Avec 44 cartes illustrées La sagesse des dragons : Cartes oracle Demandez à vos guides : Cartes oracle L'oracle de Marie, mère universelle : Avec 44 cartes et 1 livret explicatif Les cartes de la pensée positive : 52 Cartes oracle Les chemins de Qumran : À la rencontre de vous-même, de votre destinée. 111 cartes & un livret de 192 pages Hypnose : Comment hypnotiser n'importe qui Le guide RADIPE & EFFICACE du débutant à l'hypnose: (science, medium, conscience, spiritualité, voyance, esprits, conscience,troisieme oeil, Spiritualisme) Initiation au Tarot de Marseille: Manuel pour débutants Coffret l'Oracle des Esprits de la Nature Science - Leçons théoriques et pratiques du livre de Thot. Moyennes Classes Murmures de la nature : Cartes oracle L'oracle des vampires : Avec 44 cartes oracle et 1 livret Licorne et Princesse: Livre de coloriage L'oracle quantique : Un outil d'ouverture à la conscience multidimensionnelle. Avec 82 cartes et une pochette en satin L'oracle de Belline: Une initiation pratique à l'histoire et aux techniques pour gagner en lucidité et prendre les bonnes décisions Le guide des énergies : Messages pour la Nouvelle Terre Tarot de Marseille Victoria Frances Oracle Cards Le guide des horoscopes chinois : Portrait complet des douze signes animaux, relations et compatibilité entre les signes, horoscopes précis dans tous les domaines de la vie... Wiccan Oracle Cards L'oracle viking : Guide de sagesse ancestrale des guerriers nordiques. Contient 45 cartes et 1 livre L'oracle de Roumi : Une invitation au divin La fleur de vie pour s'épanouir jour après jour : Avec 50 cartes Oracle Golden Universal Tarot Un souffle vers l'éternité Oracle des êtres élémentaires