/LC.GIF&client=easterncarolinaedu)
On the refinement calculus / edited by Carroll Morgan and Trevor Vickers ; [written by] Carroll Morgan [and others].
| Other author | Morgan, Carroll, 1952- |
| Other author | Vickers, Trevor, 1959- |
| Format | Book |
| Publication Info | London ; New York : Springer-Verlag, ©1992. |
| Description | 159 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Formal applications of computing and information technology Formal applications of computing and information technology. UNAUTHORIZED |
| Contents | The specification statement / Carroll Morgan -- Specification statements and refinement / Carroll Morgan and Ken Robinson -- Procedures, parameters, and abstraction : separate concerns ; Data refinement by miracles ; Auxiliary variables in data refinement / Carroll Morgan -- Data refinement of predicate transformers / Paul Gardiner and Carroll Morgan -- Data refinement by calculation / Carroll Morgan and Paul Gardiner -- A single complete rule for data refinement / Paul Gardiner and Carroll Morgan -- Types and invariants in the refinement calculus / Carroll Morgan and Trevor Vickers. |
| Bibliography note | Includes bibliographical references (p. 155-158). |
| LCCN | 92040591 |
| ISBN | 0387198091 (New York : alk. paper) |
| ISBN | 3540198091 (Berlin : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6 .O49 1994 | ✔ Available | Place Hold |