Les spécifications algébriques, un modèle formel pour le développement de logiciels
1996
Détails
Titre
Les spécifications algébriques, un modèle formel pour le développement de logiciels
Auteur(s)
Buchs, Didier
Publié dans
Génie logiciel: principes, méthodes et techniques
Editeur(s)
Pages
137-158
Date
1996
Editeur
Presses Polytechniques et Universitaires Romandes
Laboratoires
LGL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LGL - Laboratoire de génie logiciel
Travail produit à l'EPFL
Chapitres de livre
Publié
Travail produit à l'EPFL
Chapitres de livre
Publié
Date de création de la notice
2005-09-20