Formal specification
Subtitle: proceedings of the joint IBM/University of Newcastle upon Tyne seminar held in the University Computing Laboratory 7th-10th September 1983
By: edited by M.J. Elphick.
Contributors: Elphick, M. J.; International Business Machines Corporation.; University of Newcastle upon Tyne. Computing Laboratory.
Publisher: The Laboratory
Published: 1983
Place of publication: Newcastle upon Tyne (Claremont Tower, Newcastle upon Tyne NE1 7RU)
Language: eng
Number of pages: 220
Subjects: Electronic digital computers -- Programming.
Notes: Includes bibliographies.