William Tepfenhart Libri

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.