5th Refinement Workshop
Subtitle: proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992
By: Cliff B. Jones, Roger C. Shaw, and Tim Denvir, eds.
Contributors: Shaw, Roger C. F.; Jones, C. B. 1944-; Denvir, Tim, 1939-; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1992
Place of publication: London; New York
Language: eng
Number of pages: 378
Subjects: Computer software -- Development -- Congresses.
Other titles: Fifth Refinement Workshop.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."