Formal specification and design
By: L.M.G. Feijs & H.B.M. Jonkers.
Contributors: Jonkers, H. B. M.
Series: Cambridge tracts in theoretical computer science ;; 35
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York
Language: eng
Number of pages: 335
Subjects: Computer software -- Development.; Object-oriented programming (Computer science)
Notes: Includes bibliographical reference (p. 303-307) and index.