Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité

Salvato in:
Dettagli Bibliografici
Autori principali: Carrier, Fabienne, Lafourcade, Pascal, 1977- (Autore), Mounier, Laurent, 19..-...., auteur en informatique (Autore)
Natura: Livre papier
Lingua:Français
Pubblicazione: Paris : Ellipses DL 2014.
Serie:Technosup : les filières technologiques des enseignements supérieurs
Soggetti:
Nota: Avant-titre : "Programmation"
Autres localisations: Voir dans le Sudoc
Variante du titre:Programmation :, exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité
LEADER 01657nam a22002777a 4500
001 479401
008 140521t20142014xxe ||| |||| 00| 0 fre d
009 PPN178398241
020 |a 9782729887889 (br.) :  |c [24 EUR] 
041 0 |a fre 
082 |a 005.1 
100 1 |a Carrier, Fabienne. 
240 1 0 |a Programmation :  |b exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité 
245 1 0 |a Exercices de programmation fonctionnelle en OCaml :  |b une approche pédagogique par l'algorithmique, la preuve et la complexité   |c Fabienne Carrier,... Pascal Lafourcade,... Laurent Mounier,... 
260 |a Paris :  |b Ellipses,  |c DL 2014. 
300 |a 1 volume (260 pages) :  |b couverture illustrée ;  |c 26 cm. 
490 0 |a Technosup : les filières technologiques des enseignements supérieurs 
500 |a Avant-titre : "Programmation" 
504 |a Bibliographie p. 257. Index 
505 0 |a I. Définitions et notations -- II. Fonctions sur des entiers -- III. Fonctions sur des listes -- IV. Fonctions sur des arbres binaires 
521 |a Niveau A : IUT, BTS, 1er cycle 
650 |a Objective Caml (langage de programmation)  |x Manuels d'enseignement supérieur 
650 |a Programmation fonctionnelle (informatique)  |x Manuels d'enseignement supérieur 
700 1 |a Lafourcade, Pascal,  |d 1977-  |4 aut 
700 1 |a Mounier, Laurent,  |d 19..-....,  |c auteur en informatique.  |4 aut 
997 |0 479401  |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, 005.133 CAML Ca  |z Orléans, BU Sciences, Technologies, STAPS, 005.133 CAML Ca