Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military,

Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military,

Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military,

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and metho

Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—softwa