Algebraic system specification and development : a survey and annotated bibliography
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development,...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | , |
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
501 |
| Ämnen: | |
| Länkar: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic system specification and development, a survey and annotated bibliography, M. Bidoit ... [et al.], eds, 1991, Berlin, Springer-Verlag, 1 vol. (VIII-98 p.), Lecture notes in computer science, 3-540-54060-1 • Algebraic System Specification and Development, Texte imprimé, 9783662170663 |
Innehållsförteckning:
- Basic foundations
- Models and logics
- Development concepts
- Support tools
- Applications.