An edition of Formal Methods in Standards
(1990)
Formal Methods in Standards
A Report from the BCS Working Group
by C. L. N. Ruggles
Share
×Close
This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Formal Methods in Standards: A Report from the BCS Working Group
1990, Springer London
electronic resource :
in English
1447134192 9781447134190
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| June 30, 2019 | Created by MARC Bot | import new book |