Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
"Bien que s'adressant à des débutants, les auteurs de ce livre ont délibérément choisi d'introduire leurs lecteurs aux concepts et aux outils de programmation les plus avancés. L'ouvrage commence par une parroche fonctionnelle de la programmation, relayée par l'apprentissage...
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Livre papier |
| Hizkuntza: | Français |
| Argitaratua: |
Paris :
InterEditions
DL 1992.
|
| Saila: | IIA. informatique, intelligence artificielle
|
| Gaiak: | |
| Oharra: |
Autre tirage : 2001 La couv. porte en plus : "Informatique, intelligence artificielle" |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02737nam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 189574 | ||
| 008 | 921204t19921992xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN01265597X | ||
| 020 | |a 2729604197 (br.) : |c [250 FRF] | ||
| 024 | |a 9782729604196 | ||
| 041 | 0 | |a fre |f fre | |
| 080 | |a 681.3.06 | ||
| 082 | |a 005.4 | ||
| 084 | |a D.1 | ||
| 084 | |a D.3 | ||
| 100 | 1 | |a Accart Hardin, Thérèse. | |
| 245 | 1 | 0 | |a Concepts et outils de programmation : |b le style fonctionnel, le style impératif, avec Caml et Ada |c Thérèse Accart Hardin,... Véronique Donzeau-Gouge Viguié,... |
| 260 | |a Paris : |b InterEditions, |c DL 1992. | ||
| 300 | |a 1 vol. (XIV-581 p.) : |b couv. ill. en coul. ; |c 23 cm. | ||
| 490 | 1 | |a IIA. informatique, intelligence artificielle |x 0297-5416 | |
| 500 | |a Autre tirage : 2001 | ||
| 500 | |a La couv. porte en plus : "Informatique, intelligence artificielle" | ||
| 504 | |a Bibliogr. p. [575]-577. Index | ||
| 505 | 0 | |a 1. Programmation -- 2. Environnements -- 3. Fonctions -- 4. Polymorphisme, produits et filtrage -- 5. Types somme -- Exceptions -- 7. Listes -- 8. De la spécification au programme -- 9. Vers le monde impératif -- 10. Compilation et modularité -- 11. Présentation des langages impératifs -- 12. Fonctions en Ada -- 13. Les procédures -- 14. Retour sur les exceptions -- 15. Les types et valeurs -- 16. Types accès et types récursifs -- 17. Les modules -- 18. Corrigés | |
| 520 | |a "Bien que s'adressant à des débutants, les auteurs de ce livre ont délibérément choisi d'introduire leurs lecteurs aux concepts et aux outils de programmation les plus avancés. L'ouvrage commence par une parroche fonctionnelle de la programmation, relayée par l'apprentissage des langages impératifs, et montre comment passer harmonieusement d'un texte écrit dans le style fonctionnel à un texte écrit dans un langage de programmation "classique". Les langages choisis comme supports de démonstration sont le langage fonctionnel CAML et le langage impératif Ada. De nombreux exemples et exercices clarifient les approches théoriques et permettent au lecteur de tester sa compréhension. Toutes les solutions sont fournies. Ce cours repose sur l'expérience pédagogique des auteurs en premier cycle du CNAM." (source : 4ème de couverture) | ||
| 650 | |a Programmation fonctionnelle (informatique) | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Ordinateurs |x Programmation | ||
| 650 | |a Caml Light (langage de programmation) | ||
| 650 | |a Ada 83 (langage de programmation) | ||
| 700 | 1 | |a Donzeau-Gouge Viguié, Véronique. |4 aut | |
| 997 | |0 189574 |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, F10639 | ||