|
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 : InterEditions, 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.
|
