The book is currently out of stock
More about the book
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.
Book purchase
Formal Methods in Computer Science, Jiacun Wang, William Tepfenhart
- Language
- Released
- 2019
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.