Prêtable
| Titre : | Programmation fonctionnelle Tome 1 : Spécifications et applications |
| Auteurs : | Alain Couturier ; Gérald Jean-Baptiste |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Cépaduès-éditions, 2003 |
| ISBN/ISSN/EAN : | 978-2-85428-608-3 |
| Format : | 572 p. / couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.1 (Programmation (algorithmique, génie logiciel, logique en programmation, programmation d'application)) |
| Catégories : | |
| Mots-clés: | programmation fonctionnelle ; langage mas kell ; poly ml |
| 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 :
Chapitre 1: Ensembles et éléments de logique Chapitre 2: Complément sur les ensembles Chapitre 3: Les types abstraits Chapitre 4: Programmer en langage Clean Chapitre 5: Programmer en langage Haskell Chapitre 6: Compléments et applications Chapitre 7: Etude de cas et programmation Clean - Gestion des inscriptions des auditeurs du Conservatoire national des arts t métiers Chapitre 8: Etude de cas et programmation Haskell - Réalisation d'un logiciel de gestion clientèle Chapitre 9: Programmer en langage Poly/ML Chapitre 10: Les arbres en fonctionnel |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/3721 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
