Ehrig,, Hartmut Equations and initial semanticsModule specifications and constraints Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr

Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr . - Berlin : Springer-Verlag, cop. 1985-1990 . - 2 v. : il. 25 cm . - (EATCS monographs on theoretical computer science; 6, 21) . -
Vol.1 : Equations and initial semantics. - 1985. - XI, 321 p. Vol.2 : Module specifications and constraints. - 1990. - XI, 427 p.
3-540-13718-1 (v.1) Encadernados3-540-51799-5 (v.2)

519.6