Passer au contenu
Mon compte
Wishlist
Panier 00:00

Structures de données et méthodes formelles

Audience : Adulte - Haut niveau
Le Pitch
Ce livre aborde l'étude des structures de données en informatique, éléments essentiels pour le bon fonctionnement des applications. L'auteur, Marc Guyomard, fait le lien avec les méthodes formelles en génie logiciel, montrant comment calculer les opérations associées à ces structures à partir de spécifications rigoureuses. Divisé en deux parties, le livre couvre les bases théoriques (théorie des ensembles, structures intermédiaires, algorithmes) et l'étude détaillée de cinq structures courantes (ensembles simples, ensembles composites, files, files de priorité, tableaux flexibles). Des exercices accompagnent chaque chapitre. Afficher moinsAfficher plus

Structures de données et méthodes formelles

87,00 €
Sélectionnez la condition
87,00 €

Le Pitch

Ce livre aborde l'étude des structures de données en informatique, éléments essentiels pour le bon fonctionnement des applications. L'auteur, Marc Guyomard, fait le lien avec les méthodes formelles en génie logiciel, montrant comment calculer les opérations associées à ces structures à partir de spécifications rigoureuses. Divisé en deux parties, le livre couvre les bases théoriques (théorie des ensembles, structures intermédiaires, algorithmes) et l'étude détaillée de cinq structures courantes (ensembles simples, ensembles composites, files, files de priorité, tableaux flexibles). Des exercices accompagnent chaque chapitre. Afficher moinsAfficher plus

Détails du livre

Titre complet
Structures de données et méthodes formelles
Format
Broché
Publication
29 avril 2011
Audience
Adulte - Haut niveau
Pages
438
Taille
24 x 16 x 2 cm
Poids
810
ISBN-13
9782817801995
Livré entre : 14 décembre - 19 décembre
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés