Structures de données et méthodes formelles
Marc GUYOMARD
Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Éditeur:
Springer
Springer
Protection:
ACS4
ACS4
Année de parution:
2021
2021
ISBN-13:
9782817802008
Description:
L'ouvrage établit un lien avec la discipline des méthodes formelles pour le génie logiciel. Il montre comment calculer les opérations qui accompagnent une structure de données à partir d'une spécification rigoureuse. Après une présentation des bases, l'auteur focalise sur l'étude de 5 structures de données typiques. Des exercices accompagnent chaque chapitre.
Aperçu du livre