Program Proofs von K. Rustan M. Leino ist ein Lehrbuch, das tief in formale Methoden zur Beweisführung von Programmeigenschaften eintaucht. Diese Ausgabe, geeignet für Forschende und fortgeschrittene Studierende im Bereich Software Engineering, bietet konkrete Einblicke in theoretische Aspekte von Program Proofs.
Produktspezifikationen
- Autor: K. Rustan M. Leino
- Verlag: MIT Press Ltd
- Impressum: MIT Press
- Erscheinungsdatum: 2023-03-07
- Anzahl Seiten: 496
- ISBN: 9780262546232
- Thema: Computerprogrammierung / Software Engineering
- BISAC: COMPUTERS / Programming / General