This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development. Features
rigorous approach, assuming no knowledge of logic and discrete maths
covers modern topics like concurrency and fairness
includes many exercises as an aid to understanding, plus solutions to selected exercises within the book
- ISBN10 0201416085
- ISBN13 9780201416084
- Publish Date 1 October 1992
- Publish Status Out of Print
- Out of Print 15 March 2021
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Addison Wesley
- Format Paperback
- Pages 352
- Language English