| Titre : |
Structures de données et méthodes formelles |
| Type de document : |
texte imprimé |
| Auteurs : |
Marc Guyomard, Auteur |
| Editeur : |
FRANCE : Springer |
| Année de publication : |
2011 |
| Importance : |
440P |
| Format : |
27x17 cm |
| ISBN/ISSN/EAN : |
978-2-8178-0199-5 |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Index. décimale : |
005 Programmation, programmes, organisation des données, logiciel |
| Résumé : |
Ce livre a pour thème principal l'étude des structures de données. Il s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. |
Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - FRANCE : Springer, 2011 . - 440P ; 27x17 cm. ISBN : 978-2-8178-0199-5 Langues : Français ( fre) Langues originales : Français ( fre)
| Index. décimale : |
005 Programmation, programmes, organisation des données, logiciel |
| Résumé : |
Ce livre a pour thème principal l'étude des structures de données. Il s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. |
|  |
Affiner la recherche Interroger des sources externes
