Welcome to the beta version of Shelfari’s new Book Detail pages!
These pages are editable by the community, so please contribute! Click here to learn more about this feature. We’d love to hear your feedback.
Description
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain... read more
First Sentence
Has the structure 'p is the case and if q then... '.A computer would require the insertion of brackets, as in to disambiguate this assertion.
Table of Contents
Authors & Contributors
- Michael Huth (Author)
Popular Tags
Books with Additional Background Information
List the books that contain additional information about this book.
If you have any suggestions for how we can improve this page or if there are sections that you would like us to add, please let us know.
