Formal specification and software development
By: Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].
Contributors: Jones, C. B. 1944-
Series: Prentice-Hall International series in computer science
Publisher: Prentice/Hall International
Published: 1982
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 501
Subjects: Computer software -- Development.; Programming languages (Electronic computers)
Notes: Bibliography: p. 461-487.
Includes index.