![Cover image for The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.](/client/assets/5.1326/ctx//client/images/no_image.png "Cover image for The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.")
The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.
Title:
The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.
Publication:
London ; Boston : Butterworths, 1989.
Publication Date:
1989
ISBN:
9780408039819
General Note:
"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.
Bibliography Note:
Includes bibliographical references.
Content Type:
text
Carrier Type:
volume
Added Author:
Added Conference Author:
Language:
English