Dans le TD sur Spéc algébriques nous avons deux petits exos de réécriture.
Une très bonne présentation de la réécriture sur wikipedia
Inscription à :
Publier les commentaires (Atom)
Blog pour les échanges avec les étudiants de 2ième année du département informatique de l'IUT de Nantes dans le cadre du module Techniques du Génie Logiciel Complément aux pages de http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/ (Software Engineering Techniques)
Aucun commentaire:
Enregistrer un commentaire