Name:
Formal Methods in Computer Science PDF
Published Date:
06/25/2019
Status:
[ Active ]
Publisher:
CRC Press Books
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
Author: Jiacun Wang, William Tepfenhart
| Edition : | 1 |
| Number of Pages : | 313 |
| Published : | 06/25/2019 |
| isbn : | 9781498775335 |
