Algebraic specifications in software engineering :
Horebeek, Ivo van
Algebraic specifications in software engineering : an introduction / Ivo van Horebeek and Johan Lewi - New York : Springer-Verlag, c1989. - xiv, 350 p. : ill. ; 25 cm.
0387516263
Software engineering
QA76.758 / .H67 1989
Algebraic specifications in software engineering : an introduction / Ivo van Horebeek and Johan Lewi - New York : Springer-Verlag, c1989. - xiv, 350 p. : ill. ; 25 cm.
0387516263
Software engineering
QA76.758 / .H67 1989