Structures de données et méthodes formelles Structures de données et méthodes formelles : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
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=Structure de données; Elément de génie logiciel; Tableau : matrice de données; File : informatique; Langage formel;
+
|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=2011/04/29
+
|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 à 09: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.