26559091
9783540195771
Formal Methods in Standards : A Report from the B. C. S. Working Group
by Ruggles, C.L.N.
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9783540195771
- ISBN: 3540195777
- Publication Date: 1990
- Publisher: Springer
AUTHOR
SUMMARY
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.Ruggles, C.L.N. is the author of 'Formal Methods in Standards : A Report from the B. C. S. Working Group', published 1990 under ISBN 9783540195771 and ISBN 3540195777.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
