Prêtable
| Titre : | Concepts et outils de programmation : le style fonctionnel, le style impératif avec CAML et Ada |
| Auteurs : | Therede-Accart Hardin ; Veronique Viguie |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Dunod, 2002 |
| Collection : | I.I.A. |
| ISBN/ISSN/EAN : | 978-2-7296-0419-6 |
| Format : | VIII-581 p. / ill.; couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.131 (Logique symbolique (Principes mathématiques des langages de programmation))) |
| Catégories : | |
| Mots-clés: | Ordinateurs : Programmation Caml ( langage de programmation) Ada ( langage de programmation) |
| Résumé : |
Quoique s'adressant à des débutants, les auteurs ont choisi d'introduire les concepts et outils de programmation réputés comme étant les plus avancés, dans le but d'offrir un matériel méthodique de programmation fonctionnelle solide. Les langages choisis comme supports de démonstration sont le langage fonctionnel Caml et le langage impératif Ada. Nombreux exemples et exercices corrigés.
|
| Note de contenu : |
Sommaire :
Chapitre 1: Programmation Chapitre 2: Environnements Chapitre 3: Fonctions Chapitre 4: Polymorphisme, produits et filtrage Chapitre 5: Types somme Chapitre 6: Exceptions Chapitre 7: Listes Chapitre 8: De la spécification au programme Chapitre 9: Vers le monde impératif Chapitre 10: Compliation et modularité Chapitre 11: Présentation des langages impératifs Chapitre 12: Fonctions en ADA Chapitre 13: Les prosédures Cgapitre 14: Retour sur les exceptions Chapitre 15: Les types et valeurs Chapitre 16: Types accés et types récusifs Chapitre 17: Les modules Chapitre 18: Corrigés |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/499 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/500 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
