Formal Methods in Standards : a Report from the BCS Working Group /
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 rela...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1990.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
