The Theory and practice of refinement
Subtitle: approaches to the formal development of large-scale software systems
By: [edited by] John A. McDermid.
Contributors: McDermid, John.; Workshop on the Theory and Practice of Refinement (1988 : York, England)
Publisher: Butterworths
Published: 1989
Place of publication: London; Boston
Language: eng
Number of pages: 217
Subjects: Computer software -- Development -- Congresses.; Interactive computer systems -- Congresses.
Notes: Includes bibliographical references.
"Based on the proceedings of a Workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988"--Foreword.