Titre : | Spécifications algébriques, algorithmique et programmation |
Auteurs : | Jean-François Dufourd, Auteur ; Dominique Bechmann, Auteur ; Yves Bertrand, Auteur |
Type de document : | texte imprimé |
Editeur : | Paris : InterÉditions, 1995 |
Collection : | IIA |
ISBN/ISSN/EAN : | 978-2-7296-0581-0 |
Format : | 504 p. / 23 x 16 cm |
Langues: | Français |
Index. décimale : | 005.2 |
Mots-clés: | programmation (mathématiques) |
Résumé : |
Cours complet couvrant tout le processus allant de la spécification abstraite d'un problème jusqu'à sa programmation concrète, en proposant des méthodes et outils éprouvés. Des exercices complètent la présentation. |
Exemplaires (2)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
TEC006039 | INF00648 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
TEC006040 | INF00649 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |