Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.
- ISBN10 1567500331
- ISBN13 9781567500332
- Publish Date 1 May 1995
- Publish Status Active
- Out of Print 13 October 2023
- Publish Country GB
- Imprint Intellect Books
- Format Hardcover
- Pages 200
- Language English