Feijs,, L. M. G.
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers
. - Cambridge : Cambridge University Press, 1992
. - XVI, 335 p. : il. 26 cm
. - (Cambridge tracts in theoretical computer science; 35))
0-521-43457-2 (Encadernado)
519.6