"Understanding Formal Methods" von M.G. Hinchey ist ein umfassendes Werk, das sich mit der Anwendung formaler Methoden in der Softwareentwicklung beschäftigt. Das Buch bietet eine Einführung in die theoretischen Grundlagen und...