Formal specification and software development /

Bibliographic Details

Main Author:	Bjørner, D. (Dines), 1937-
Other Authors:	Jones, C. B. (Cliff B.), 1944-
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice/Hall International, [1982]
Series:	Prentice-Hall international series in computer science.
Subjects:	Computer programming. Programming languages (Electronic computers)