Description
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions.
The second part focuses on logi
Information
-
Download - Immediately Available
- Format:PDF
- Pages:350 pages
- Publisher:Taylor & Francis Inc
- Publication Date:21/06/2019
- Category:
- ISBN:9781498775335
Other Formats
- Hardback from £155.00
- Paperback / softback from £71.99
- EPUB from £64.79
Information
-
Download - Immediately Available
- Format:PDF
- Pages:350 pages
- Publisher:Taylor & Francis Inc
- Publication Date:21/06/2019
- Category:
- ISBN:9781498775335