Formal methods in standards
Subtitle: a report from the BCS Working Group
By: C.L.N. Ruggles, (ed.) ; principal contributors, Derek Andrews ... [et. al.].
Contributors: Ruggles, C. L. N.; Andrews, Derek.; British Computer Society. Formal Methods in Standards Working Group.
Publisher: Springer-Verlag
Published: 1990
Place of publication: London; New York
Language: eng
Number of pages: 135
Subjects: Electronic data processing -- Standards -- Great Britain.
Notes: Includes bibliographical references (p. [79]-92] and index.