Formal Methods in Computer Science
| Author | : Jiacun Wang |
| Publisher | : CRC Press |
| Total Pages | : 241 |
| Release | : 2019-06-21 |
| ISBN-10 | : 9781498775359 |
| ISBN-13 | : 1498775357 |
| Rating | : 4/5 (357 Downloads) |
Book Synopsis Formal Methods in Computer Science by : Jiacun Wang
Download or read book Formal Methods in Computer Science written by Jiacun Wang and published by CRC Press. This book was released on 2019-06-21 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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