Sorry, you do not have access to this eBook
A subscription is required to access the full text content of this book.
Metrics
Views
85
In This Chapter
- Formal Methods
- References
Abstract
Computers do not make mistakes, or so we are told. However, computer software is written by, and hardware systems are designed and assembled by, humans, who certainly do make mistakes.
Other ways to access this content:
Email to request access
Purchase this book
Related chapters
Search for more...
© Informa UK Limited, an Informa Group Company
Home | About RHO | Collections
| Free trial
| How to buy
| Promotions
| Contact us | Help & FAQs
Librarian resources
| Privacy policy
| Cookies
| Terms & conditions
