Publisher's Synopsis
Dependable computerized systems are controlling bodies that ensure maximum security, reliability and safety in engineering and technology. The subject has become of increasing importance with the increased use of computerized control in, for example, airliners, manufacturing plant and nuclear power stations. This volume focuses on the underlying mathematical methods used by all branches of the subject.