TY - BOOK ID - 92803909 TI - Structures de données et méthodes formelles PY - 2011 SN - 2817802004 2817801997 PB - Paris : Springer, DB - UniCat KW - Data structures (Computer science) KW - Formal methods (Computer science) KW - System design KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - Electronic data processing KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Information Technology KW - Computer Science (Hardware & Networks) UR - https://www.unicat.be/uniCat?func=search&query=sysid:92803909 AB - Ce livre porte sur l tude des structures de donn es, savoir des constituants logiciels dont la qualit conditionne le bon fonctionnement et l efficacit des applications informatiques. L originalit de cet ouvrage r side essentiellement dans le lien qu il tablit avec la discipline des m thodes formelles pour le g nie logiciel. Il montre comment il est possible de calculer les op rations qui accompagnent une structure de donn es partir d une sp cification rigoureuse. L auteur adopte la fois une perspective historique et une d marche fonctionnelle. La premi re partie de l ouvrage pr sente les bases ER -