Éditeur(s) :
Springer
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 focalis...
87,00 €