Program Proofs van K. Rustan M. Leino is een studieboek dat diepgaand ingaat op formele methoden voor het bewijzen van programma-eigenschappen. Deze uitgave, geschikt voor onderzoekers en gevorderde studenten in software engineering, biedt concrete inzichten in theoretische aspecten van program proofs.
Productspecificaties
- Auteur: K. Rustan M. Leino
- Uitgever: MIT Press Ltd
- Imprint: MIT Press
- Verschijningsdatum: 2023-03-07
- Aantal pagina's: 496
- ISBN: 9780262546232
- Thema: Computer programming / software engineering
- BISAC: COMPUTERS / Programming / General