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. ©Electre 2024
Paru le : 30/06/1998
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Jacques Courtin Auteur : Irène Kowarski
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Série(s) : Initiation à l'algorithmique et aux structures de données
ISBN : Non précisé.
EAN13 : 9782100040391
Reliure : Broché
Pages : XVII-349
Hauteur: 24.0 cm / Largeur 18.0 cm
Épaisseur: 2.3 cm
Poids: 512 g
Carte fidélité
Mollat Radio
