Formal Methods in Standards
A Report from the BCS Working Group
Our rough guess is there are 33,750 words in this book.
At a pace averaging 250 words per minute, this book will take 2 hours and 15 minutes to read. With a half hour per day, this will take 5 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Word Count
33,750 words, Guess
Page Count
135 pages
Physical Format
Electronic resource
Identifiers
- Internet Archiveformalmethodssta00rugg
- ISBN-101447134192
- ISBN-139781447134190
- OCLC Control Number840277607
- Better World Books9781447134190
and 1 more
- Open LibraryOL27039471M
Classifications
- LCCQA76.758
Description
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.
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!