‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Structures de Donnees Et Methodes Formelles

Linksbuch Neu neu Rechtsbuch

Guyomard, Marc

Structures de Donnees Et Methodes Formelles (Kartoniert / Broschiert / Paperback)


Reihe: Collection Telecom (French) 0

SPRINGER VERLAG GMBH, Springer Paris, April 2011


2011. - 438 S. - Sprache: Französisch - 240x161x25 mm

ISBN: 2817801997 EAN: 9782817801995

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 de la discipline : la théorie des ensembles, l'étude de structures intermédiaires (listes, arbres, sacs), et l'analyse des algorithmes. La seconde partie se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. Des exercices accompagnent chaque chapitre.


Preis: 106,99 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 106,99 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik/EDV/Allgemeines/Lexika

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Le livre peut servir de support de cours (programmation, calcul des algorithmes)Le livre fait constamment le lien entre théorie mathématique et applications (génie logiciel)Une approche éprouvée durant les longues années d'enseignement de l'auteurChaque chapitre propose des exercices

Inhaltsverzeichnis

1.Les bases.- Mathématiques pour les structures de données.- Spécifications+Fonction d'abstraction+Calcul=Programmes.- Étude de quelques structures.- Analyse d'algorithmes.- Exemples.- 2.Structures de données fondamentales : spécification et mises en oeuvre.- Ensembles de clés scalaires.- Ensembles de clés structurées.- Files simples.- Files de priorités.- Tableaux flexibles.- Annexes. -Propriétés générales des ensembles.- Propriétés des relations binaires.- Propriétés des fonctions.- Propriétés des entiers.

Über den Autor

Marc Guyomard est professeur d'informatique à l'Enssat (université de Rennes 1 et université européenne de Bretagne), école d'ingénieurs située à Lannion. Il enseigne ou a enseigné dans de nombreux domaines de l'informatique logicielle. Ses principaux domaines d'intérêt sont les modèles formels pour le développement logiciel et pour l'interaction naturelle homme-machine.

Kritikerstimmen

From the reviews:"There is a variety of data structures and in many universities there are courses on the topic of data structures; so this book can be a useful tool for computer programmers ... . The book ends with five appendices that describe a lot of mathematical properties related to sets, binary relations, functions, integer sets, and priority operators." (Ion Iancu, Zentralblatt MATH, Vol. 1225, 2012)


ISBN 2-817801-99-7, ISBN 2-81-780199-7, ISBN 2-81780-199-7, ISBN 2-817-80199-7, ISBN 2-8178-0199-7

ISBN 978-2-817801-99-5, ISBN 978-2-81-780199-5, ISBN 978-2-81780-199-5, ISBN 978-2-817-80199-5, ISBN 978-2-8178-0199-5

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

44,99 EUR

Building Windows 8 Apps from the Ground Up von Garofalo, Emanuele; Liccardi, Antonio; Aponte, Michele
39,99 EUR

Advances in Digital Forensics III von Craiger, Philip (Herausgeber); Shenoi, Sujeet (Herausgeber)
140,58 EUR

Traffic and Granular Flow '15 von Knoop, Victor L. (Herausgeber); Daamen, Winnie (Herausgeber)
199,99 EUR

29,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.