The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.
| Other author | McDermid, John. |
| Other author | Workshop on the Theory and Practice of Refinement (1988 : York, England) |
| Format | Book |
| Publication Info | London ; Boston : Butterworths, 1989. |
| Description | 217 pages : illustrations ; 24 cm |
| Subjects |
| 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. |
| LCCN | 89022172 |
| ISBN | 0408039817 : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.D47 T48 1989 | ✔ Available | Place Hold |