Programmation fonctionnelle : spécifications & applications
Wedi'i Gadw mewn:
| Prif Awduron: | , |
|---|---|
| Fformat: | Livre papier |
| Iaith: | Français |
| Cyhoeddwyd: |
Toulouse :
Cépadues
DL 2003.
|
| Pynciau: | |
| Nodyn: |
La couv. porte en plus : "Isetl - Clean - Haskell - Poly/ML" |
| Autres localisations: | Voir dans le Sudoc |
Tabl Cynhwysion:
- 1, Les outils pour formaliser. 2, Complément sur les ensembles. 3, Les types abstraits. 4, Programmer en langage Clean. 5, Programmer en langage Haskell. 6, Compléments et applications. 7, Etude de cas et programmation Clean - gestion des inscriptions des auditeurs du concervatoire national des arts et métiers. 8, Etude de cas et programmation Haskell - Résiliation d'un logiciel de gestion clientèle. 9, Programmer en langage Poly/ML. 10, Les arbres en fonctionnel