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 2 et 6 jours
- Livraison GRATUITE
- Livré entre le 22 et le 26 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 26 mai et le 1 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 26 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 30 mai et le 4 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 26 et le 30 mai
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 €
-
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 €
-
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 €
-
Final Fantasy Vii Remake - Ultimania
6 avis
Neuf dès 39,90 €
Occasion dès 44,99 €
-
Geobusiness, La Géomatique Dans Le Monde Des Affaires
Neuf dès 66,68 €
Occasion dès 36,99 €
-
Dictionnaire Encyclopédique Du Son
1 avis
Occasion dès 21,89 €
-
Théorie Et Pratique De La Programmation Cobol
1 avis
Occasion dès 27,00 €
-
Guide Pratique De L'électrotechnique - Toutes Les Bases Pour Comprendre L'appareillage Électrotechnique
1 avis
Occasion dès 27,00 €
-
Linux - Préparation À La Certification Lpic-2 (Examens Lpi 201 Et Lpi 202)
Occasion dès 33,09 €
-
Le Multimedia - Marché, Droit Et Pratiques Juridiques
Occasion dès 31,00 €
-
Programmer En Cobol - Développement Et Maintenance De Programmes
1 avis
Occasion dès 37,98 €
-
Laravel - Un Framework Efficace Pour Développer Vos Applications Php
Occasion dès 27,50 €
-
Sql Server 2022 - Apprendre À Administrer Un Serveur De Base De Données
Occasion dès 21,70 €
-
Aws Lambda - Développez Des Micro-Services En Java Sur La Plateforme Serverless D'amazon
Occasion dès 24,90 €
-
Linux - Entraînez-Vous Sur Les Commandes De Base - Exercices Et Corrigés
Occasion dès 29,50 €
-
L'empire De L'ia - Voyage Au Coeur De La Course Effrénée Vers La Domination Totale
Neuf dès 27,90 €
-
Sql Server 2022 : Sql, Transact-Sql - Conception Et Réalisation D'une Base De Données (Avec Exercices Pratiques Et Corrigés)
1 avis
Occasion dès 24,90 €
-
L'art De Clair Obscur : Expedition 33
13 avis
Neuf dès 39,90 €
Occasion dès 59,19 €
-
La Bible Super Nintendo
5 avis
Occasion dès 50,00 €
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