Algebraic System Specification and Developement:Survey and Annotated Bibliography
Résumé
The present volume is an annotated bibliography which attempts to provide an overview of past and present work on algebraic specifications.
Ouvrages
Année : 1999
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098980
Soumis le : mardi 26 septembre 2006-08:40:59
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00098980 , version 1
Citer
Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, et al.. Algebraic System Specification and Developement:Survey and Annotated Bibliography. Shaker Verlag, 230 p, 1999, Monographs of the Bremen Institute of Safe Systems. ⟨inria-00098980⟩
Collections
55
Consultations
0
Téléchargements