Algebraic System Specification and Developement:Survey and Annotated Bibliography - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 1999

Algebraic System Specification and Developement:Survey and Annotated Bibliography

Maura Cerioli
  • Function : Author
Martin Gogolla
  • Function : Author
Bernd Krieg-Brückner
  • Function : Author
Zhenyu Qian
  • Function : Author
Markus Wolf
  • Function : Author

Abstract

The present volume is an annotated bibliography which attempts to provide an overview of past and present work on algebraic specifications.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00098980 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098980 , version 1

Cite

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⟩
54 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More