"The Foundations of Program Verification" von Kurt Sieber ist ein grundlegendes Werk in der Informatik, das sich mit den theoretischen und praktischen Aspekten der Verifikation von Computerprogrammen beschäftigt. Das Buch bietet eine...