![Formal Methods in Computer Science](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
![Formal Methods in Computer Science](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
Formal Methods in Computer Science
-
- USD 109.99
-
- USD 109.99
Descripción editorial
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