Résumé du livre

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.