|
|
|
|
| LEADER |
01455nam a22002537a 4500 |
| 001 |
201914 |
| 008 |
040109s2003 xxe ||| |||| 00| 0 fre d |
| 009 |
PPN075861968 |
| 020 |
|
|
|a 2854286081 (br.) :
|c 56 EUR
|
| 024 |
|
|
|a 9782854286083
|
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 519.7
|
| 082 |
|
|
|a 005.11
|
| 100 |
1 |
|
|a Couturier, Alain,
|d 1938-
|
| 245 |
1 |
0 |
|a Programmation fonctionnelle :
|b spécifications & applications
|c Alain Couturier,... Gérald Jean-Baptiste,...
|
| 260 |
|
|
|a Toulouse :
|b Cépadues,
|c DL 2003.
|
| 300 |
|
|
|a 1 vol. (572 p.) ;
|c 21 cm.
|
| 500 |
|
|
|a La couv. porte en plus : "Isetl - Clean - Haskell - Poly/ML"
|
| 504 |
|
|
|a Bibliogr. p. [523]-524
|
| 505 |
|
|
|a 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
|
| 650 |
|
|
|a Programmation fonctionnelle (informatique)
|
| 650 |
|
|
|a Analyse numérique matricielle
|x Informatique
|
| 700 |
1 |
|
|a Jean-Baptiste, Gérald.
|4 aut
|
| 997 |
|
|
|0 201914
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/BU Sciences, Technologies, STAPS/
|z Orléans, BU Sciences, Technologies, STAPS, F11524
|
