Fundamentals of algebraic specification
H. Ehrig, B. Mahr.
Berlin : Springer-Verlag, ©1985-©1990.
2 vols. : ilustraciones ; 25 cm.
Serie: EATCS monographs on theoretical computer science ; v. 6, 21
ISBN: 3540137181 (v. 1)
Contenido
- 1. Equations and initial semantics
- 2. Module specifications and constraints.