Titre :
|
Initiation à l'algorithmique et aux structures de données
|
Titre de série :
|
Initiation à l'algorithmique et aux structures de données, 1
|
Auteurs :
|
Jacques Courtin, Auteur ;
Irène Kowarski, Auteur
|
Type de document :
|
texte imprimé
|
Mention d'édition :
|
2e éd. rev. et corr.
|
Editeur :
|
Paris : Dunod, 1998
|
ISBN/ISSN/EAN :
|
978-2-10-004039-1
|
Format :
|
XVII-349 p. / 24 x 18 cm
|
Langues:
|
Français
|
Index. décimale :
|
005.2
|
Mots-clés:
|
algorithmes
;
structures de données (informatique)
|
Résumé :
|
Ce premier tome est consacré à la construction d'algorithmes fondamentaux sur les fichiers séquentiels et les vecteurs (structures à accès direct). Dans cette nouvelle version, l'accent est mis sur la spécification formelle, les raisonnements par récurrence associés à la mise en place d'assertions et de propriétés invariantes qui conduisent à une construction sûre des algorithmes.
|