Structures de données et méthodes formelles

Marc Guyomard (Auteur)

voir tout

Descriptif détaillé

media/pim/TITELIVE/52_9782817801995_1_75.jpg

media/pim/TITELIVE/53_9782817801995_4_75.jpg

Etats :

Payer en 29€ ou 21.75€ sans frais En savoir +

Vendu et expédié par : Librinter

État : Neuf

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

DISPONIBLE SOUS 6 JOURS

Livraison en magasin dès le 00/00/00

stock en magasin

Retrouvez le produit près de chez vous.

description

descriptif du fournisseur

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.

Structures de données et méthodes formelles

Structures de données et méthodes formelles

Marc Guyomard

On vous recommande avec votre achat

Structures de données et méthodes formelles

Structures de données et méthodes formelles

87,00€

+

voir mon panier

Découvrez aussi

Livre Mathématiques Livre science et culture scientifique Livre Sciences Humaines Livre

Livre science et culture scientifique

Livre Mathématiques • Livre Physique • Livre Chimie • Livre sciences de la vie • Livre science de la terre • Livre Astronomie

Livre Sciences Humaines

Livre Religions et Spiritualité • Livre Sociologie • Livre Philosophie • Livre Pédagogie • Livre Psychologie • Livre science et culture scientifique • Ecologie • Coups de cœur : Sciences humaines • Livres éthnologie • Livres Anthropologie ...

... Livre Psychanalyse • Esotérisme

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Dicobat visuel, dictionnaire illustré du bâtiment (5e édition) • Atlas Netter d'anatomie humaine • Le corps n'oublie rien : Le cerveau, l'esprit, le corps dans la guérison du traumatisme • Éléments de physique nucléaire ...

... L'A.B.C. du froid - je monte, j'entretiens, je dépanne... (3e édition) • Traité de construction horlogère • Anatomie pour le mouvement : introduction à l'analyse des techniques corporelles • Anthropologie des violences faite aux femmes au XXIe siècle ...

... La Terre entre nos mains • Biologie des croyances - comment affranchir la puissance de la conscience, de la matière et des miracles • Anatomie à colorier Netter (3e édition) • Microbiologie de Prescott

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.