Formal specification and software development
By: Dines Bjørner and Cliff B. Jones in collaboration with Derek Andrews ... (et al.).
Contributors: Jones, Cliff B. 1944-
Series: Prentice-Hall international series in computer science
Publisher: Prentice-Hall
Published: 1982
Place of publication: Englewood Cliffs; London
Language: eng
Number of pages: 501
Subjects: Electronic digital computers -- Programming.; Software compatibility.
Notes: Bibliography, p459-487. - Includes index.