"Design and Validation of Computer Protocols" von Gerard J. Holzmann ist ein umfassendes Werk, das sich mit der Entwicklung und Überprüfung von Kommunikationsprotokollen in Computersystemen befasst. Das Buch bietet eine detaillierte...