The book is currently out of stock
Parameters
More about the book
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
Book purchase
Specification and verification of object oriented software components, Andreas Roth
- Language
- Released
- 2006
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
No one has rated yet.