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

April 19, 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.

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 Atlas d'anatomie humaine Mini DSM-5 Critères Diagnostiques Urg' de garde 2019-2020: Les protocoles d'Avicenne Mémofiches Anatomie Netter - Membres Guide pratique des médicaments Dorosz Diagnostics infirmiers 2015-2017: Définitions et classification Pédiatrie Idées recues sur l'endométriose Mémofiches Anatomie Netter - Tronc Pathologies et thérapeutiques en soins infirmiers: 137 fiches pour ESI et infirmiers La Ferme des Animaux - Animal Farm (édition bilingue) Anatomie et vocabulaire médical L'infirmière de bloc opératoire Cancérologie Bien débuter - Plaies, cicatrisation et pansements: Bonnes pratiques infirmières en fiches Mémofiches Anatomie Netter - Tête et cou Concours Infirmier 2018-2019 Le grand guide Grands thèmes sanitaires et sociaux: Ecrit et Oral : Le tout-en-un avec livret d'entraînement La thérapie des schémas: Principes et outils pratiques Comment Je Vois le Monde 105 activités et jeux pour les 0-6 ans: CAP AEPE, AP, EJE, BAFA Concours infirmier 2018-2019. Épreuve passerelle pour aide-soignant et auxiliaire de puériculture: Entraînement et annales corrigées Anatomy Trains: Les méridiens myofasciaux en thérapie manuelle Le vocabulaire médical de base (2 volumes) Pack Anatomie et physiologie humaine 9e édition + Livret de QCM corrigés Guide anatomie et physiologie pour les AS et AP: Aides-soignants et Auxiliaires de puériculture - La référence Calculs de doses en 450 exercices corrigés - Pour les 3 années du Diplôme d'Etat infirmier.: + Les tutos ! Pour visualiser la pratique Excel 2016 pour les Nuls Pas à Pas Le Mariage du Ciel et de l'Enfer Chiens & Chats : Diagnostics différentiels, symptômes, examens Pharmacologie et thérapeutiques: Unité d'enseignement 2.11 18 Very Short Stories - 18 nouvelles très courtes Chirurgie maxillo-faciale et stomatologie: Réussir les ECNi Guide clinique d'odontologie Windows 10 pour les Nuls, grand format, 4e Dorosz Guide Pratique des Medicaments 2018, 37e ed. Sherlock Holmes enquête / Sherlock Holmes investigates Les bases de l'immunologie fondamentale et clinique Hépato-gastro-entérologie - Chirurgie digestive: Réussir les ECNi Le bébé en mouvement - Savoir accompagner son développement psychomoteur Conduite du bilan neuropsychologique chez l'enfant Chimie organique : Les grands principes - 2ème édition Ordonnances en gynécologie obstétrique : 100 prescriptions courantes Encyclopédie de la réflexologie faciale : Le Dien' Cham' : une technique étonnante pour soulager vos douleurs Gynécologie Obstétrique: Réussir les ECNi Chimie générale : chimie des solutions - Exercices et méthodes - Exercices et méthodes Echocardiographie en pratique Love and the city VA-25 ARCHITECTURE NOW ! 4 Carnet d'anatomie : Tome 2, Tête, cou, dos Toute l'UE 2 - Cours + QCM: La cellule et les tissus