Formal Methods in Computer Science
- 294pages
- 11 heures de lecture
Focusing on formal methods, this textbook provides a thorough introduction to their application in specifying and verifying both software and hardware. It equips students with essential concepts and techniques, making it a valuable resource for understanding the rigor and precision required in the development of reliable systems.
