BCS‑FACS 7th Refinement Workshop: . . .
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1996 |
| Authors | He Jifeng |
| John Cooke | |
| Editors | John Cooke |
| He Jifeng | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2008329 |
About BCS‑FACS 7th Refinement Workshop: . . .
The main theme of the BCS-FACS 7th Refinement Workshop, held in Bath, 3 - 5 July 1996, was the use of refinement techniques to provide theoretical foundations for reliable systems design. The papers cover both practical and theoretical issues involved in developing real-time systems. . . .