Structures de données et méthodes formelles Structures de données et méthodes formelles : Différence entre versions
De Sciencinfolycee
Ligne 7 : | Ligne 7 : | ||
|Résumé=Ouvrage dont le thème principal est l'étude des structures de données. | |Résumé=Ouvrage dont le thème principal est l'étude des structures de données. | ||
|Catégorie=1.2. Structuration et contrôle de l'information, 5. Grains de mécsci | |Catégorie=1.2. Structuration et contrôle de l'information, 5. Grains de mécsci | ||
− | |Mots-clés contrôlés= | + | |Mots-clés contrôlés=structure de données; élément de génie logiciel; tableau : matrice de données; file : informatique; langage formel; |
|SiloTypeDocumentaire=texte | |SiloTypeDocumentaire=texte | ||
|SiloTypologieGenerale=ouvrage | |SiloTypologieGenerale=ouvrage | ||
− | |Date= | + | |Date=1970/01/01 |
|SiloStructure=atomique | |SiloStructure=atomique | ||
|SiloNiveauAgregation=1.Le plus petit niveau (grain) | |SiloNiveauAgregation=1.Le plus petit niveau (grain) |
Version du 19 septembre 2011 à 10:58
Section Description | |
---|---|
URL | http://www.springer.com/computer/book/978-2-8178-0199-5 |
Titre | Structures de données et méthodes formelles |
Auteur(s) | Guyomard, Marc |
Fonction(s) | auteur |
Notes | |
Section Analyse | |
Langue | fre |
Résumé | Ouvrage dont le thème principal est l'étude des structures de données. |
Sélection(s) thématique(s) | 1.2. Structuration et contrôle de l'information ; 5. Grains de mécsci |
Mots-clés normalisés | structure de données ; élément de génie logiciel ; tableau : matrice de données ; file : informatique ; langage formel |
Proposition autres mots-clés | |
Type documentaire | texte |
Typologie Générale | ouvrage |
Date de publication | 1970/01/01 |
Structure du document | atomique |
Niveau d'agrégation | 1.Le plus petit niveau (grain) |
Exigences techniques | |
Section Pédagogie | |
Type pédagogique | cours / présentation |
Public cible | enseignant |
Utilisation pédagogique | 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. |
Section Droits | |
Droits du document | |
Section processus de validation (workflow) | |
Intervenants | Thierry; Diane Rives (indexation); DB |
Statut du workflow | publiée |
Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.