Formal Methods in Computer Science

Más información sobre el libro

The textbook offers a thorough introduction to formal methods, focusing on their use in specifying and verifying both software and hardware systems. It covers essential concepts and techniques, providing students with the foundational knowledge needed to understand and apply these methods effectively in practical scenarios.