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
| ISBN: | 9781498775359 |
| Publication date: | 21st June 2019 |
| Author: | Wang, Jiacun |
| Publisher: | CRC Press |
| Format: | Ebook |
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.
Hardback, Ebook. £76.99. Not Available.
Formal Methods in Computer Science was written by Wang, Jiacun and published by CRC Press
£76.99. Not Available.