University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Alain Couturier |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Programmation fonctionnelle / Alain Couturier
Titre : Programmation fonctionnelle : Spécifications et applications Type de document : texte imprimé Auteurs : Alain Couturier ; Baptiste,Gérald Jean Editeur : Toulouse : Cépaduès-éd. Année de publication : 2003 Importance : 1 vol (572 p.) Format : 23 cm ISBN/ISSN/EAN : 978-2-85428-608-3 Note générale : 978-2-85428-608-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Programmation fonctionnelle
Analyse numérique matricielle:InformatiqueIndex. décimale : 005.1 Programmation Résumé :
A travers les fondements théoriques de la programmation fonctionnelle, ce livre expose le cheminement, de l'étude de la spécification formelle à l'application, en passant par l'algorithme. L'illustration de l'application des algorithmes est représentée sous différents langages (ISETL, CLEAN, HASKELL, Poly/ML). Cet ouvrage est un support pédagogique destiné aux étudiants du 1er cycle universitaire, spécialisés en informatique, il peut être un complément aux étudiants de 2ème cycle soucieux d'une programmation proche des spécifications formelles. En outre, il peut être un support de cours ou un didacticiel pour les enseignants souhaitant approfondir ce domaine.Note de contenu :
Sommaire
Ensembles et éléments de logique
Complément sur les ensembles
Les types abstraits
Programmer en langage Clean
Programmer en langage Haskell
Compléments et applications
Etude de cas et programmation Clean - Gestion des inscriptions des auditeurs du Conservatoire national des arts et métiers
Etude de cas et programmation Haskell - Réalisation d'un logiciel de gestion clientèle
Programmer en langage Poly/ML
Les arbres en fonctionnel
Côte titre : Fs/8629 Programmation fonctionnelle : Spécifications et applications [texte imprimé] / Alain Couturier ; Baptiste,Gérald Jean . - Toulouse : Cépaduès-éd., 2003 . - 1 vol (572 p.) ; 23 cm.
ISBN : 978-2-85428-608-3
978-2-85428-608-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Programmation fonctionnelle
Analyse numérique matricielle:InformatiqueIndex. décimale : 005.1 Programmation Résumé :
A travers les fondements théoriques de la programmation fonctionnelle, ce livre expose le cheminement, de l'étude de la spécification formelle à l'application, en passant par l'algorithme. L'illustration de l'application des algorithmes est représentée sous différents langages (ISETL, CLEAN, HASKELL, Poly/ML). Cet ouvrage est un support pédagogique destiné aux étudiants du 1er cycle universitaire, spécialisés en informatique, il peut être un complément aux étudiants de 2ème cycle soucieux d'une programmation proche des spécifications formelles. En outre, il peut être un support de cours ou un didacticiel pour les enseignants souhaitant approfondir ce domaine.Note de contenu :
Sommaire
Ensembles et éléments de logique
Complément sur les ensembles
Les types abstraits
Programmer en langage Clean
Programmer en langage Haskell
Compléments et applications
Etude de cas et programmation Clean - Gestion des inscriptions des auditeurs du Conservatoire national des arts et métiers
Etude de cas et programmation Haskell - Réalisation d'un logiciel de gestion clientèle
Programmer en langage Poly/ML
Les arbres en fonctionnel
Côte titre : Fs/8629 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8629 Fs/8629 livre Bibliothéque des sciences Français Disponible
Disponible