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