| Titre : | Initiation à l'algorithmique et aux structures de données Vol.1 |
| Auteurs : | Jacques Courtin ; Irène Kowarski |
| Type de document : | texte imprimé |
| Editeur : | Malakoff : Dunod, 1998 |
| ISBN/ISSN/EAN : | 978-2-10-004039-1 |
| Format : | 1 vol. (XVII-349 p.) / 24 cm |
| Langues originales: | |
| Index. décimale : | 005.101 (Philosophie et théorie de la programmation) |
| Catégories : |
Ouvrages > Généralités (ouvrages généraux), information, informatique > Informatique |
| 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. |
| Côte titre : |
S8/62591-62593 |
Exemplaires (3)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/62591 | Livre | Bibliothèque centrale | Disponible |
| S8/62592 | Livre | Bibliothèque centrale | Disponible |
| S8/62593 | Livre | Bibliothèque centrale | Disponible |
Accueil
