5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 / edited by Cliff B. Jones, Roger C. Shaw, Tim Denvir.
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1992.
|
| Series: | Workshops in computing.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA8.9-QA10.3
|
|---|---|
| QA8.9-QA10.3 | Available |