Structures de données et méthodes formelles
Par : Marc Guyomard
Editeur : Springer
Numéro de produit : 9782817802008
ISBN : 9782817802008
130,95 $
Les livres numériques seront disponibles pour télécharger dès votre paiement effectué.
* Prix en dollar canadien. Taxes et livraison en sus.
Retour à la liste des produits
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.