Structures De Données Et Méthodes Formelles - Marc Guyomard
- Collection: Télécom
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix neuf 87,00 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus43,88 €
Occasion · Bon État
Ou 10,97 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 4 et 7 jours
- Livraison GRATUITE
- Livré entre le 26 et le 29 mai
Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme. Expédition depuis la France.
Nos autres offres
-
Prix neuf 87,00 €
-53%Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus40,40 €
Occasion · Très Bon État
Ou 10,10 € /mois
- Livraison : 3,49 €
4,8/5 sur 281 ventesLivre de référence. Réservé aux connaisseurs. Livraison rapide et soignée. Expédition sécurisée.
Voir le détail de l'annonce -
87,00 €
Produit Neuf
Ou 21,75 € /mois
- Livraison à 0,01 €
- Livré entre le 28 mai et le 3 juin
Libraire professionnel. Livre neuf. Expédition sous 3 à 6 jours. Suivi par mail.
Voir le détail de l'annonce -
87,00 €
Produit Neuf
Ou 21,75 € /mois
- Livraison à 0,01 €
- Livré entre le 27 mai et le 1 juin
Libraire professionnel. Livre neuf. Expedition sous 2 a 4 semaines. Suivi par mail.
Voir le détail de l'annonce -
87,00 €
Produit Neuf
Ou 21,75 € /mois
- Livraison : 3,49 €
- Livré entre le 1 et le 6 juin
Gallix a 20 ans - Plus de 400 000 clients satisfaits EXPEDITION SOUS 4 à 6 jours ouvres + acheminement
Voir le détail de l'annonce -
87,00 €
Produit Neuf
Ou 21,75 € /mois
- Livraison : 5,00 €
- Livré entre le 28 mai et le 2 juin
Exp¿di¿ en 5 jours ouvr¿s
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Structures De Données Et Méthodes Formelles de Marc Guyomard Format Broché - Livre Informatique
0 avis sur Structures De Données Et Méthodes Formelles de Marc Guyomard Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Cisco - Commutation, Routage Et Réseau Sans-Fil
Neuf dès 39,00 €
Occasion dès 89,26 €
-
Itil 4 - Comprendre La Démarche Et Adopter Les Bonnes Pratiques
Occasion dès 32,90 €
-
Le Traitement Des Images De Télédétection Par L'exemple
Occasion dès 30,00 €
-
Théorie Et Pratique De La Programmation Cobol
1 avis
Occasion dès 27,00 €
-
Dictionnaire Encyclopédique Du Son
1 avis
Occasion dès 22,49 €
-
Consoles Museum - La Grande Encyclopédie Des Consoles De Jeux Vidéo
5 avis
Neuf dès 35,00 €
-
Autocad - Conception, Dessin 2d Et 3d, Présentation - Tous Les Outils Et Fonctionnalités Avancées Autour De Projets Professionnels - Edition 2025
Occasion dès 37,89 €
-
L'histoire De Nintendo - Tome 2, 1980-1991 L'étonnante Invention : Les Game & Watch
Occasion dès 59,90 €
-
Linux - Préparation À La Certification Lpic-2 (Examens Lpi 201 Et Lpi 202)
Occasion dès 33,09 €
-
Traitement Numérique Du Signal - Cours Et Exercices Corrigés
Occasion dès 22,19 €
-
Geobusiness, La Géomatique Dans Le Monde Des Affaires
Neuf dès 66,68 €
Occasion dès 36,99 €
-
Maîtrisez Qt - Guide De Développement D'applications Professionnelles
1 avis
Occasion dès 39,90 €
-
Aws Lambda - Développez Des Micro-Services En Java Sur La Plateforme Serverless D'amazon
Occasion dès 24,90 €
-
Cisco, Routage Et Commutation - 2e Module De Préparation À La Certification Ccna 200-120
Occasion dès 58,74 €
-
Golang - Les Fondamentaux Du Langage De Google
Neuf dès 32,00 €
-
Linux - Entraînez-Vous Sur Les Commandes De Base - Exercices Et Corrigés
Occasion dès 29,50 €
-
L'art De Clair Obscur : Expedition 33
13 avis
Neuf dès 39,90 €
Occasion dès 59,19 €
-
Le Renseignement Offensif
1 avis
Occasion dès 52,41 €
-
Elixir - Un Langage De Programmation 100 % Web
Neuf dès 39,00 €
Occasion dès 25,00 €
-
Pratique Des Oscilloscopes - Technique, Mesures, Manipulations
2 avis
Occasion dès 24,55 €
Produits similaires
Présentation Structures De Données Et Méthodes Formelles de Marc Guyomard Format Broché
- Livre Informatique
Résumé :
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.
Biographie:
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 linteraction naturelle homme-machine.
Sommaire:
["LES BASES","Mathématiques pour la spécification et les structures de données","Spécification + Fonction d'abstraction + Calcul = Programme","Etude de quelques structures outils","STRUCTURES DE DONNEES FONDAMENTALES : SPECIFICATION ET MISE EN OEUVRE","Ensembles de clés scalaires","Ensembles de clés structurées","Files de priorité"]
©
Détails de conformité du produit
Personne responsable dans l'UE