Program Proofs by K. Rustan M. Leino is a textbook that delves deeply into formal methods for proving program properties. This edition, suitable for researchers and advanced students in software engineering, provides concrete insights into theoretical aspects of program proofs.
Product specifications
- Author: K. Rustan M. Leino
- Publisher: MIT Press Ltd
- Imprint: MIT Press
- Publication date: 2023-03-07
- Number of pages: 496
- ISBN: 9780262546232
- Subject: Computer programming / software engineering
- BISAC: COMPUTERS / Programming / General