|
Titre :
|
Initiation à l'algorithmique et aux structures de données : Vol. 1
|
|
Auteurs :
|
Jacques Courtin, Auteur ;
Irène Kowarski, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Mention d'édition :
|
nouv. présentation de la 2e éd.
|
|
Editeur :
|
Paris : Dunod, 1998
|
|
Collection :
|
Sciences sup
|
|
ISBN/ISSN/EAN :
|
978-2-10-004039-1
|
|
Format :
|
XVII-349 p. / ill., couv. ill. en coul. / 24cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.1
|
|
Mots-clés:
|
Informatique
;
Algorithmes
;
Structures de données
|
|
Résumé :
|
Le premier volume est consacré à l'étude et à la construction d'algorithmes fondamentaux sur les vecteurs et les fichiers séquentiels. Dans cette nouvelle version, l'accent est plus particulièrement 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 rigoureuse et sûre des algorithmes.
|
