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. The second part focuses on logi
Formal Methods in Computer Science is available in Hardback, Ebook
Formal Methods in Computer Science was written by Wang, Jiacun and published by CRC Press
£76.99