The book is currently out of stock
More about the book
Focusing on the fundamentals of formal methods, this textbook serves as both a guide and a reference. It emphasizes the diverse applications of these methods in various computing fields, making complex concepts accessible and relevant for readers.
Book purchase
Concise Guide to Formal Methods, Gerard O'Regan
- Language
- Released
- 2017
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.