The book is currently out of stock
More about the book
The book delves into the challenges of formal verification in programming, emphasizing the necessity for automatic synthesis and analysis. It introduces logical systems for reasoning about programs and discusses encoding specifications for computational interpretation. Additionally, it thoroughly explores the mathematical foundations essential for the synthesis and analysis processes in computer programming, providing a comprehensive understanding of these critical concepts.
Book purchase
Constructive Analysis and Synthesis of Programs, Marco Benini
- Language
- Released
- 2009
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.