Titre :	Initiation à l'algorithmique et aux structures de données T1
Type de document :	texte imprimé
Auteurs :	Jacques Courtin, Auteur ; Irène Kowarski, Auteur
Mention d'édition :	2e éd.
Editeur :	Paris [France] : Dunod
Année de publication :	1994
Collection :	Sciences Sup
Importance :	1 vol. (349 p.)
Présentation :	ill., couv. ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2100-0409-1
Langues :	Français (fre)
Catégories :	INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees
Mots-clés :	Algorithmes  Structures de données (informatique)
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.

Initiation à l'algorithmique et aux structures de données T1 [texte imprimé] / Jacques Courtin, Auteur ; Irène Kowarski, Auteur  . -  2e éd. . - Paris [France] : Dunod, 1994 . - 1 vol. (349 p.) : ill., couv. ill. ; 24 cm. - (Sciences Sup) .
ISSN : 978-2100-0409-1
Langues : Français (fre)

Catégories :	INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees
Mots-clés :	Algorithmes  Structures de données (informatique)
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.