The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.
Material type: TextPublication details: London ; Boston : Butterworths, 1989.Description: 217 p. : ill. ; 24 cmISBN:- 0408039817 :
- 005.1 20
- QA76.76.D47 T48 1989
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection Archive | QA76.76.D47 T48 1989 (Browse shelf(Opens below)) | Available | 13139 |
"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.
Includes bibliographical references.
There are no comments on this title.
Log in to your account to post a comment.