Formal specification and design Feijs, L. M. G. creator Jonkers, H. B. M. text nyu New York Cambridge University Press 2005 1st pbk. version monographic eng
print
335 p. : ill. ; 25 cm. specialized L.M.G. Feijs & H.B.M. Jonkers Includes index Computer software Development Object-oriented programming (Computer science) Cambridge tracts in theoretical computer science ; v.35 9780521435925 (pbk.) 0521435927 (pbk.) 9780521434577 (hbk.) 0521434572 (hbk.) http://www.loc.gov/catdir/enhancements/fy0632/2006273427-t.html http://www.loc.gov/catdir/enhancements/fy0632/2006273427-t.html UMP 090610 20251117145413.0 vtls000037609