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